Agreed. It's also likely the case that in practice, their TDP doesn't matter.

Yes, they have a budget, but somehow i think their main problem is more finding sources of electricity and cooling, not paying for it.