Under £500m. Still a huge amount but considerably less than £9b.

https://www.bbc.co.uk/news/health-26954482