Glad you found a company.

Most pool builders will only do repairs to plaster or tile. Very few mess with deck rennovation or even know someone who does it. But it seems you know this already.

Hope all works out and you have a more enjoyable pool deck!