Just saw this, love that interior man! From what I've heard that sounds about right for a clutch if you pay someone to do it, it's a pretty big job. If you decide you want to have a crack yourself, here's a DIY that might help:
http://www.vaglinks.com/Docs/VW/MKII...Clutch_DIY.pdf