I readjusted the covergence on my trusty old Sony VPH-722QM CRT
projector yesterday, and when I looked into the lenses I saw that the
blue tube had quite a lot of specks on what looked to be the front
surface. Is that bacteria growth of the type I've been hearing about
with liquid cooled CRT projectors?

I skimmed through the Operation and Service Manuals, but couldn't find
any procedure for replacing the coolant. Is it possible to replace it
on these, and are there any gotchas for doing it?

Cheers,
Thomas