It’d be a real shame if they just shut it and didn’t reopen. I think this is one of the best things about arriving in LHR — you can always pick up something really nice to eat or snack on that’s actually real food or even cooking ingredients rather than fancy restaurant items. JFK needs something similar but it’ll never happen.