BTW it seems that the new bulb is not brighter than the old one, at least not significantly so. Somewhere during the proceedings my user image settings were lost and set back to the (somewhat brighter) defaults.

I don't care. I have a projector *and* a spare bulb, and got lots of work done while the projector was hors de combat, so all is good.

M60ti, VP180, QS8, M2ti, EP500, PC-Plus 20-39
M5HP, M40ti, Sierra-1
LFR1100 active, ADA1500-4 and -8