The cooler is easy to replace. Lines little difficult. I would think 2 hours flat rate on repairs plus parts. 100-150 hour times 2 plus parts plus fluid.does sound high. Get one or 2 more quotes. There are some aftermarket repair lines splices if it was only one piece leaking.cooler cost around 25 dollars at local parts store near me.