Possibly OT: IBM 4224-01 printer question