Only one Billion over? That's a paltry sum compared with what Gordon has seen fit to slosh around in other sectors. With a defence budget of around £35 billion (http://www.mod.uk/DefenceInternet/AboutDefence/Organisation/KeyFactsAboutDefence/DefenceSpending.htm) it hardly seems worth bringing up.