Just in case someone else needs it, we found the part numbers for the green bulb covers at Parts Express (see above post).
070-082 .12" diameter green bulb cover sleeve
070-092 .20" diameter green bulb cover sleeve
If I read the catalog correctly the price is $1.70 for a package of ten.
Anyone want to measure the diamer of the bulb so we can see which diameter is needed?
