Question Author
Oh, for goodness sake, it was a tongue in cheek question. Incidentally, reading through my responses, nowhere have I said I wake up at 8.15. It could be anytime between 8.30 and say, 9.15 but the point is the way you're woken up with a horrible whining noise that goes right through your head. Well, the hedge is trimmed pretty regularly, the mower seems particularly noisy plus strimming edges and a blower for leaves/rubbish.
Oh, our neighbours have tried to get a different time so there.
Anyway, I think this post has run its course. Thanks for all your responses.