Hope they don't have to divert....
Declaring cash when entering or leaving the UK
If you are arriving in the UK from a country outside the European Union (EU), or you're leaving the UK to travel directly to a country outside the EU, you must declare any cash of 10,000 euros or more (or its equivalent in other currencies) to customs officers.
HMR&C