Hi guys I live in Florida, have a 18x36 in-ground pool bough the house in 2018 a month before hurricane Michael hit. The pool PB removed the old vinyl liner. The wall at the deep end look horrible to me, one of the corners is cave in from top to bottom. I had the sum pump running for 4 days and water is not filling the bottom, but there is enough to keep bottom puddle up. My PB insist that he can vermiculite over and without let it set just install the liner and that everything will be fine. My question is should the vermiculite that's damage be removed/redone or just do patch work were need it