bad news mate this sort of thing always puts me off leaving my car at a workshop, i now try and diy everything myself or wait the whole time its there, if i can't wait for it i goes somewhere else, on the upside though if they were thrashing it that slipping clutch would have saved your gearbox big time, if you had a brand spankers HD clutch in there it could have come back clunking