Interesting point, I need to take my Portable out of the closet and check the driver (likely: FWB HDT, though)… I confirm I am using FWB HDT driver on mine, in combination with System 7.1.