First I want to thank the people that have contributed to this thread.
Last week my wife and I moved into a new house, and a used 73738 was part of the deal (could be a 73838, I don't know how to tell them apart). I got my FIOS connected and after some calls to Verizon I got it working. But the image was very dim and after 4 days it quit altogether, with the red light saying that there was a problem with the lamp. I had already started searching the net and I found some threads about mirror cleaning. Then I found this thread and read about bulb replacement. Out of curiosity I searched and in my city I found a place that sells Osram bulbs. I took a chance and bought their bulb for $99 + tax, and they fit it into my bulb housing. I took it home, plugged it in, and it worked great. The brightness seemed like new, and saved me from throwing the thing out the window. I don't think it is as bright as my 55" Sony LCD, but it is good enough.