I feel your pain Jeremy. I have found a guy who cuts the grass 18 times a year for £200. We have around 300 sq metres in total, it is quite the bargain.
Next door just went the whole hog and replaced their back garden with astroturf!
For a couple of years I also had a robowmower. A Friendly robotics Robomow RL 800. It actually worked extremely well. The main drawback was it doesn't collect the grass but cuts it into very small pieces which should mulch over time. Ideally you would combine it with scarifying once or twice a year. The great thing was you could just go out and leave it working, but it wasn't fully automatic, you still had to get it out, start it up, clean it etc.
Eventually, however, the battery went and it was outrageously expensive to replace, it was also getting a bit unreliable. I might have bought another one but they seem to have increased in price. I think I paid £600 for it, mostly they seem to now cost over £1000 now which is what I pay for 5 years of cutting.