ATP1A3 and alternating hemiplegia of childhood: This is evidence that dystonia, a key symptom of both RDP and AHC, can be studied in some of the Atp1a3 mutant mice.