That 80MB hard disk has to be after-market, surely.

Maybe their hard disk died and they replaced it with the only SCSI disk they had available.