This is evidence that dystonia, a key symptom of both RDP and AHC, can be studied in some of the Atp1a3 mutant mice. This evidence concerns the gene ATP1A3 and dystonia 12.