Hi Mike,

If it were me, I'd forget about tearing up the ledge and ask them to make it up elsewhere with some extra deck.

I'm curious....who built your pool?