HI! We are still making plans to build our first pool. We are now trying to decide between getting a gunite or vinyl liner pool. We are looking to get a tanning ledge and we were told that gunite would make more sense because of how easily vinyl can puncture with pets, chairs, etc. However we've also read that repair costs could be more and algae could grow more easily on the rougher surface of a gunite pool which would require more maintenance. How often do you need to re-plaster a gunite pool? Has anyone had any issues having a tanning ledge in a vinyl pool? Thanks for reading and looking forward to your advice/feedback!