Does anyone know if a Service Manual exists (and has been scanned) for the so-called F board CoCo 1 (aka the 64K CoCo 1 or TDP-100) ? Thanks in advance, Darren