At last we can bear it no more.
The noise, the house continually under repair, the pool that never worked - so we are moving to a nice house - smaller with a reasonable sized garden in a proper residential area. And all in a couple of weeks.
Pictures to follow.