Hello all. Long story short: We closed on a home with an older pool (approx. 30 yrs old) on 1 June. Pool was black/green so I drained, acid/pressure washed and refilled. The stucco is in pretty bad shape (has places worn/chipped to the concrete, blisters everywhere, etc.) and I know it has to be refinished (next year project). But for this year, we wanted to make use of the pool. While cleaning the pool, I noticed a hairline crack in the stucco on the stairs. Today (after having the pool open/filled for over a month) I noticed some very small bubbles coming up from the hairline crack. I assume this is a leak but it is obviously very slow as there is no noticible water loss. I have seen a product called eazy-patch and was wondering if anyone has used it? And what product would you recommend for a repair? Thanks in advance for your help.

https://picasaweb.google.com/1066573...eat=directlink