That's still pocket change and pretty irrelevant in context since merely half of 1 year's budget of the US military would still be able to power the LHC for ove

That's still pocket change and pretty irrelevant in context since merely half of 1 year's budget of the US military would still be able to power the LHC for over 350 years.