Is $MIN_{TM}$ not in $\overline{RE\cup coRE}$ Given the language: 

$MIN_{TM}$= $\{ \langle M,k\rangle: there\ exists\ a\ TM\ D\ s.t.\ L(M)=L(D)\ and\ D\ has\ less\ than\ k\ states \}$

I need to prove if this language is in $R$ or $RE-R$ or $coRE-R$ or $\overline{RE\cup coRE}$.

I suspect this language is in $\overline{RE\cup coRE}$
but I can't prove it. (I Tried using reduction but no help).
Hint 1: What happens when $k=2$?

Hint 2: Use a reduction from $\text{ALL}_{\text{TM}}$.