Just a follow up post on the flash bulb that I got from http://www.electronicpartsupply.com/
. It IS a 1.5 loop tube, like the original, but the overall dimensions are slightly smaller. Otherwise it looks like a good replacement.