Yes that’s what happened, an international tennis star wanted a fat laden snack, so checked in, happen to google the place randomly then waded through the warren of the old VA1 terminal, worded out you have to go downstairs then went back outside then walked down to T4, found the shop, purchased a pastry then navigated back up to international....
I suspect probably not.
If indeed he did go via Doha, a place that has thousands of cases a week in its own right plus flights arriving from covid hotspots all around the world I think is is potentially a more likely story...