ATP8A1 and cerebellar ataxia: No ataxia phenotypes were observed in Atp8a1 and Atp8b1 KO mice26.