Does holiday insurance cover this? (And no, not from the same company that sold you the holiday and went bust, before any TD pedant dives in ).