How many of us have ever woken up in the middle of a warm summer