I believe they use specially built equipment (a large specialty frame or jig) at the repair facility to securely hold the lid in place for re-gluing, and I think they use a UV light set glue for it with large UV lamps…something that most folks don’t have on hand.
Several DIYers have done their own repairs on the lid, so it’s just whether you want to pay to have the machine shipped back to let them do it, or do it yourself. (They don’t offer parts to us that require equipment that they had specially made for manufacturing purposes.)
(I’m an engineer too, and I intend to send it to them for repair if the glue seal breaks on mine down the road. I could probably do it, but it won’t be as secure as what they can do with their set-up.)
Same thing for the tubes. It ties into the power supply and has to be calibrated to that in order for the machine to work correctly. So for now, if the tube goes out, I’ll be sending it to them to replace. They have the jigs to get the tube out of there quickly and get it calibrated…my time is worth more than it will cost if I were to try to do it myself. And I don’t have the equipment or specific knowledge of how they are calibrating them. (Not to mention, I’d rather not fry myself on the power supply.)
I believe they are still in the process of shifting to a new repair facility, so they might offer a refurbished unit as replacement instead of waiting on repairs to the actual units right now. So that may be something else to consider if they offered it. I’m not sure how far along they are.
If you want to try the DIY route, I believe some folks had better luck with 3M VHB tape than with glues that had to set. But do a search in the Beyond the Manual section for “lid repair” to make sure and see what they had to say.