I just noticed last week that my water is going down by about 1" per day. Perhaps a bit less. Today, I noticed a new hairline crack at the very bottom of the deep end. About 3-4 feet long and irregular shaped. Occurred after some of the biggest rains we have had here in SF bay area in years. Is it worth donning my scuba gear and trying to patch with AB epoxy? Or should I just wait for summer to drain the pool for full repair?