Service Manual

Hi, I'm a field service engineer that requested to repair and service one of these and I was enquiring if anyone had a service manual. I was looking to replace the lid latch and the cracked seal and needed new tubes for this machine. Thank you.