The bulb at the time was roughly $350. I can't give you the model number as I don't have it handy, but they can tell you.
The original Ushio bulbs may still be floating around, but I have no idea of current availability as I haven't dealt with the company.
Call Superior.
Good Luck, Claus.
-------------------- "Why are there shots of deserts in a scene that's supposed to take place in Belgium during the winter?" (Review of 'Battle of the Bulge'.)