The NuTev anomaly, neutrino mixing, and a heavy Higgs