W4SR Blog: leaky roof insurance