Hopkins's equivariant presentation conjecture for the Morava $E$-theory homotopy groups

Let $K\subset \mathbb{S}_n$ be a finite subgroup. Let $\rho\in E_n$ be placed in degree $-2$, let $S(\rho)$ denote the graded symmetric algebra, let $N$ be a trivial representation corresponding to the multiplicative norm over the group on $\rho$, and let $I$ be an ideal in degree $0$. Hopkins's conjecture. There is a $K$-equivariant isomorphism

$$(E_n)_*\simeq S_{\mathbb{W}(\mathbb{F}_{p^n})}(\rho)[N^{-1}]^\wedge_I.$$

This conjectural presentation is intended to make the action of finite subgroups on $(E_n)_*$ easier to describe and compute, supporting calculations involving the homotopy fixed-point and Tate spectra of higher real $K$-theories. The source presents it as Hopkins's conjecture, and no resolution is given here.