For $300 I would have them just fix it and be done with it. One less thing to worry about. Summer is coming!

My Brother just a bought a 4 year old house with a pool, it's going to cost him $2500 to get it all be the way it should be.