We just had a really good rain event Weds and Thursday. Probably 5 inches total over the 2 days. on Thursday night, there was roughly 4" of water in the spa (it was up to the cap on the bubbler line sticking out of the floor of the spa). Yesterday, I noticed that most of the water in the spa was gone, and this morning it is completely empty while the pool itself has not lost any water level since the rain stopped. Pool company is closed for the holiday weekend, so I cant talk to the project super until Monday. Curious if this is something that is normal, or should I be concerned that the spa shell has a leak prior to plaster?