Hello out there! I am getting bids on replastering a 15,000 gallon pool in San Antonio TX. I have had 2 smaller companies tell me only soft plaster needs to be chipped out prior to replaster and one large company tell me ALL old plaster must be removed. which is correct???