If you know the name of the company that installed the pool, I'd call them first. Just curious, what type of repairs are needed?

Tom