Hand solo, I would have thought that somewhere like Dubai would have been be a suitable alternative, in this instance, without jeopardising crew hours. It is about 7 hours out of Heathrow, so would have provided earlier landing, it is en route, although would have added about 1000 miles to total journey, and surely has the right facilities for such an incident. Also served by both BA and CX. Just a thought.