Virtually Haken surgery conjecture for hyperbolic knot manifolds

A knot manifold is an irreducible, orientable, compact 3-manifold whose boundary is a single torus. It is hyperbolic if its interior admits a complete hyperbolic metric of finite volume. A slope on a torus is a non-trivial isotopy class of simple closed curves, and $M(\alpha)$ denotes Dehn filling a 3-manifold $M$ along a slope $\alpha$ on its torus boundary. A knot manifold has Property VH if $M(\alpha)$ is virtually Haken for all but finitely many slopes $\alpha$ on $\partial M$. Virtually Haken surgery conjecture. Let $M$ be a hyperbolic knot manifold. Then $M$ has Property VH. This is identified as an important special case of Waldhausen's conjecture; the source does not state whether it has been resolved.