Is 7.30 am too early for noisy workmen to be hammering & drilling next door? My neighbours are generally inconsiderate pricks anyway so I’m not sure what’s a acceptable anymore.