Universality of G-subshifts with specification

Let $G$ be an infinite countable amenable group and let $(X,G)$ be a $G$-subshift with specification, containing a free element. We prove that $(X,G)$ is universal, i.e., has positive topological entropy and for any free ergodic $G$-action on a standard probability space, $(Y,\nu,G)$, with $h(\nu)<h_{top}(X)$, there exists a shift-invariant measure $\mu$ on $X$ such that the systems $(Y,\nu,G)$ and $(X,\mu,G)$ are isomorphic. In particular, any $K$-shift (consisting of the indicator functions of all maximal $K$-separated sets) containing a free element is universal.