Well the slave cylinder is inside the bell housing,my guess as to where the brake/clutch fluid went is out of the small drain hole at the bottom of the housing and onto the road,the fact it is at the dealers then your friend is going to get his backside slapped,I doubt it is the master cylinder,more likely the slave,and this has leaked and now the fluid is below the master cylinder and so pedal to the floor,my local mechanic would charge around £240 with the slave cylinder,while this is all happening suggest a new thrust bearing fitted,they are not expensive and it will cost nothing on the labour charge.