Just noticed a "hole" behind the liner when I was closing the pool this season. My PB said this is due to either rain / water and/or an animal digging a hole from behind, and need a repair with pool plaster / formaldehyde before we open the pool. Has anyone experienced something like this (and fixed perhaps)? The diameter is approx. 2 inches and worried.....