ATP1A3 and dystonia 12: The current Atp1a3 mouse models recapitulate to a large part the symptoms of RDP and AHC.