Yeah, I forgot to mention that this was over a period of two months. I settled to 8.5 hrs, on the dot, but with a shift of sleeping a bit later every day.