Sometimes asking the question helps you find the answer. :>)
I also was extremely lucky in that Radio Shack actually had a bulb I needed for one of the tuning lights..What's the chance of that now-a-days?
Amazingly enough, the first place I looked (Radio Shack) had these bulbs in the correct form factor, but wrong voltage (14 V versus 7V). I tried them anyway and found them perfectly acceptable- bright enough to be visible across a dimly-lit room, and will probably last indefinitely, too on the reduced voltage (a good thing, since they are not all that easy to replace).
I've heard that RS is on the skids and it's just a matter of time before they cease operations. That would be a shame... even though they are a mere shadow of the hobby-electronics store that they were back in the 1960s, they still have enough hardware components to make a trip to a local store worthwhile.