I don't understand why BigCo would ever go with the last option after talent exhaustion. The former two make way more sense.
Paying people to relocate from a small city to the most expensive place in the country is exceptionally difficult and expensive. Many developers here in the UK see London as a really bad place to live unless you're paid more than £100,000. Developer wages in London are often not £100,000.