Sounds reasonable to me. The parts price of the aux water pump and a few other things would probably be up over $200. Then $600 for labor for all of that stuff isn't too bad. Taka