In fact it was later. Just asked the wife and she says it was 1.15, not 12.45 and that they didn't go to bed until 1.30.
She remembered because she was a bit shocked, thinking they would sleep in the next day, but it was Sunday and of course they HAD to go to church.
It was 6 hours sleep max...