Just in case anyone else has the same quest I found the bulb needed, the model number is GE ARC150/842/G12 and goes for about 43 dollars on-line.