My local dealer quoted me $1,500 to do the clutch (now dunno what all was included in that) so this seems high. You won't get your money back even if you do this yourself. At best it'd make your car sell faster. You need to decide if it's worth it to you. Shop around and get some quotes (if you can't/don't want to DIY it) and then decide if it's worth it to YOU.
'95 325 Vert