Tried again today and it was no problem at all this time. Leave 35 minutes earlier and get in 2 hours and 40 minutes later, all on BA through LHR, but not a bad result for 6 of us, all in all. Thank you everyone for confirming my understanding of how it should have been handled