It's the tube. I downloaded the service manual but see no mention of how to replace a tube. Is there any source for this procedure that anyone can recommend?