I've been out of the tiling side of pools too long to even try to give advice on how to do it

What sort of warranty will they give? If it's 5 years, I'd just let them do it as they usually do - that way, if some problem comes up next season, you've got the warranty to get it corrected.

Where's Kelly when you need him?