I don't think there is enough info here to say whether his price is to high or it could be a diy project. Depends how hard it is to access it and what the original problem is. $800 doesn't sound to crazy for a plumber though tbh.