I assume that any place he sent it to would have at least told him if there was problems in it other than what they were fixing, if not actually fix them. Unless this is a shitty place and they didn't fix/inspect the transmission properly.
If his release lever is getting pushed all the way to the housing (which is the purpose of the clutch hydraulic system) then it wouldn't be the clutch master, slave, or pedal adjustment.
Could still be the pressure plate though.
wait.. .this is a 6 bolt isnt it? Nevermind my comment about crankwalk
