Hi seribus,
I just got the call. It's kind of a long story, but in the end, they are using ecofinish. I guess you can also have them gel coat, but you are not guaranteed that it won't do it again. With ecofinish it's a 10 year warranty. So, we are going with ecofinish. The website is ecopoolfinish.com. Apparently, it's a superior product to gel coat and about 3 times as expensive. They are going to be in North Carolina soon so we will hopefully get this taken care of before we open the pool for the summer. The only thing we have to pay for is the water. I hope you get your call soon if you haven't already.