I don't know if it helps...I suspect the A4000T has a special version of workbench 3.1. I guess this is because of a special version of scsi.device, which should be able to make work both the onboard IDE and SCSI controller.
My 4000T came with WB disks labeled "3.1 4000T".
cheers
