We bought our house in Jan of 2020 and the plaster in the pool needs to be repaired. There are no big cracks but there is a lot of wear and a few spots where you can see the concrete below the plaster. My wife thought this would be a DIY project but after reading everything I can about it I don’t think so. We are getting ready to sell this house so technically all it has to do is last until it’s not ours anymore but I think if we did it right it might help with the resale value.