Let all schemes below be excellent.
Let $X_0$ be a regular (not necessarily smooth, projective) non-empty scheme of finite type over the generic point $\eta$ of a regular connected scheme $S$. As the answers to my question 
http://mathoverflow.net/questions/32083/for-a-morphism-f-from-a-regular-scheme-should-there-exist-an-open-subscheme-u-of
show, there does not have to exist a dense open $U\subset S$ such that $X_0$ possesses a regular model over $U$. Yet, should there always exist a pseudo-finite dominant morphism  $j:U\to S$ and some model $X$ of $X_0$ over $S$ such that $U$ and the reduced scheme associated to $X_U$ are regular? Can we assume that the morphism $U\to S$ is radiciel?