It is my understanding that the standard Workbench 3.1 disk set will work fine as long as you have the workbench.library file to add to it for the A4000T. It is missing from the 3.1 ROMs in that machine to make room for the NCR scsi driver.
At least it worked for me, as I don't have the "T" specific disk set either.
Jeff
