Anyone has a pointer to a userguide for the above HPIB drive ? Bitsavers came out empty. I got a non-functional unit and now need the know how to change the internal HD ( a 15 MB ST419 unit ) and format it. I hope the 9133 is intelligent enough to format the disk itself Target usage : the much needed HD for my HP IPC ! Jos Dreesen