Sounds like a reasonable price, though for not much more you could probably get the rest done. If you look on quattroworld.com there are quite a few threads on the F-seal replacement, usually by a guy called TozoM8 who seems to know more about these boxes than ZF
