We got a Technics RIE 800 (not Micro RIE 800) etcher donated. We are in a
need for a manual and possibly service. Does anyone has any info on any of
the items. Thank you, Calin