And you went with that plan, so...great! But...one thing though, it was normal in that time to go to bed early and get up again as soon as the sun started rising. To save candles and such. Especially for sailors it was normal to get up at 7 or so. So for him to wake up at 12 or so is a bit...too late I think. Maybe 8 or 9 am?