One thing worth pointing out is that our universe operates on the integers rather than the real numbers, and the Banach-Tarski requires operating on the reals.
Is that known? It's an appealing idea, but bearing in mind that general relativity is very resistant to quantisation, I'm not sure I'd be comfortable to declare it as fact.
