I thought the slave cylinder and trhowout bearing were intergrated on these cars.
While the tranny's off, see if you can cut a deal to go ahead and replace the the plate and linings.
If the slave cylinder went, how can they 100% verify that the disc didn't recieve some contamination?