Thanks Medved,
At least I have some options.
I went to e bay and bought 2 new F40T12D bulbs for $6.90 each.
I checked and these are the real 40 watt T12 bulbs.
I also bought four new F40T12 warm white bulbs.
I checked to make sure they were the real 40 watt T12 bulbs.
They seem to be selling a lot of them and the price so far is not too high, yet anyway.
So they are still available new at e bay, but I would guess not for long.
I am surprised the energy police are not on their case.