Just a little side note: Years ago I bought an 89 Formula 350 TPI, had all the performance mods, dual cats, 4 wd, 3:27 rear etc. Car looked like hell!! Took it for a ride, FAST AS HELL!! Put it on the lift and it was bone dry. Anyone who's ever messed with these older 3 rd gens know they're always leaking something. Few weird things about it: Large bracket under the nose cone(siren-speaker?)Three to four toggle switches, one cut the power from the horn, reverse light lenses were cut out and another clear lens was glued on it, no high beams(wires were cut for the high beams for the wig wags)and I saw a huge impression in the rug where seemed to be a radio trunking system. Back then you could call gm and give your vin and get a copy of the original invoice. Got it, said was ordered by the GSA and shipped to Oklahoma . Had DEA on it 3-4 times and next to it was blacked out!
My point: Government ordered some cool ass cars and it's totally possible they had TR's in the stable.