Does $\exists\mathbb{R}=\mathbf{PSPACE}$?
The issue may be whether or not Schwartz and Sharir show that motion plan existence is many-one polynomial time reducible to $\exists\mathbb R$.

If they need several queries to $\exists\mathbb R$ for a given motion plan existence instance, then that's not a many-one reduction.