Thanks, I think we will just use LHR. There is the added hassle of the flight landing in stanstead at midnight, which is bad for connections to london. A noon arrival to LHR will give many more options and better use of a paid hotel night

He will have to swallow his pride and take a chair if needed...