Is there anyone that can tell me where to find the user manual and technical data to set up an NCR 3434 microchannel server?