From the gas station remodel. The fixtures were pretty beatup so I didn't get any and the electricians cut the ballast wires out to recycle the copper.
They had orange end caps until around '93 or so. J-frog has some NOS Westinghouse branded F72T12/CW super-hi output lamps from '83, they are exactly like the Philips ones here aside from the name.