You/they should be able to get an Exedy Sports HD clutch kit for a smidge over $400, if you're able to find someone who'll do the labour for $400 you're in luck!
Me, well, each keystroke is sending a little more clutch dust around the room - next time I'm paying the labour, it sucks.