Contrail vs Hail Storm

Last weekend I had the opportunity to try out my contrail tarp tent for the first time. I went for an over night hike flyfishing for bass. Upon reaching my destination I pitched my contrail, it was only the second time I had pitched this tent. I used four stakes, and I set it up to what I thought was reasonably taut. I wasn't able to create the tub floor. The sides drooped a little. But as it was only forecast for showers, I wasn't worried about any severe weather. I went off for a fish, only to get caught in the middle of the most intense hailstorm I have ever witnessed. It hailed intensley for a full ten minutes. You can see from the pictures the size and amount of hail that fell. As I was cowering under a tree getting pelted by hail, my thoughts quickly turned to my tent. I wasn't sure what to expect...
As you can see from the photos, the fabric stretched with the moisture from the hail/rain, and the hail piled up on the base and sides of the tent so much that they were resting on the ground. Inside the tent there was about 500 ml of water. I am not sure exactly from where the water got in. I seam sealed the seals, it may have dripped in from the sides that were touching the ground. Thankfully my sleeping bag was on top of my foam mattress, and the water collected under the mattress and my bag was relatively dry (props go to the water repellency of western mountaineering bags). I was able to empty the tent out, and dry off the floor with my fleece jumper, and I slept with the pad under the tent. I guess the lesson I learnt from this is don't pitch your tent and leave it...If I was in my tent at the time, I would have been able to re-tighten. Also, next time I am going to pitch the contrail with all 8 stakes. Anyone else experience severe hail in their contrail? How did it fare?