I wonder if the box is just part of a larger system,
or if the disks are
simply mislabeled. It's kind of nice to hear about something using the F8
other than the VideoBrain and Channel F, however.
FWIW, some HP HPIL peripheals used a related chip (3870). IIRC, the 82161
tape drive, 82162 printer, 82165 GPIO and 82166 converter all used said
microcontroller. The 82164 RS232 and 82169 HPIB used 8049s, the 9114 disk
used a 6809 (!).
-tony