Let $L_E$ denote Bousfield localisation with repsect to the cohomology theory $E$. I am trying to follow through some calculations in Hovey-Strickland's paper Morava $K$-theories and localisation

Claim 7.10(e) is that

$$L_{K(n)}X = \underset{\leftarrow}{\text{holim}}_I L_{E(n)}X \wedge S/I$$

where the homotopy limit is over a tower of generalised Moore spectra (the Moore spectra $S/I$ is defined in 4.12 and the tower in 4.22)

Define $$E_*^{\vee}:=\pi_{*} (L_{K(n)} (E \wedge X))$$

the $K(n)$-local version of Morava $E$-theory (where, I believe, Morava $E$-theory here is what I might call a completed Johnson-Wilson theory, but I don't believe it really matters).

The claim (8.04) is then that we can extract a Milnor exact sequence from this:

$$0 \to \varprojlim_I {}^1 (E/I)_{\ast+1}(X) \to E_*^\vee X \to \varprojlim_I (E/I)_*X \to 0 $$

I'm not sure how to show this. I would like to think that we can get a sequence

$$0 \to \varprojlim_I {}^1 \pi_{\ast+1}(L_{E(n)}(E \wedge X) \wedge S/I)\to E_{\ast}^\vee X \to \varprojlim_I \hspace{1mm} \pi_* (L_{E(n)}(E \wedge X) \wedge S/I) \to 0 $$

and then if you drop the $E(n)$-localisation it seems to work, but I'm not really sure about this.