That totally sucks man. If you do need to put in a new clutch I'm willing to assist. Ive taken a WRX 5 speed completely apart and changed all the internals with 7000 miles and still perfect. A clutch job im sure would be simple. Sounds like the guy might have fried it or maybe even bent the flywheel.