Wondering if anyone insures their pool for damages (tree falling on it or hail or ???) I would assume any company would exclude damage to the liner as that is an assumed risk, but I worry about a tornado or tree falling or something like that causing structural damage. I think if it is not specifically listed in the homeowner policy, it is not covered. Does anyone know anything about this topic?