My mistake I read that number wrong. The most recent number I can find is that during the 2022-2023 budget year, the UK spent around 25 billion pounds which puts them closer to the US when compared in USD but still under. Which begs the question, what do you consider well-funded?