Hello, I´m looking for service and user manuals of a Oce 9500 or KIP 3800 copier? I´m also looking for controller cards, software, parts or whole copiers and toner? Thanks in advance. Bastian +49582498716 (Germany)