  We prove that Hensel minimal expansions of finitely ramified Henselian valued
fields admit spherically complete immediate elementary extensions. More
precisely, the version of Hensel minimality we use is $0$-hmix-minimality
(which, in equi-characteristic $0$, amounts to $0$-h-minimality).
