THY1 and restless legs syndrome: Our focus on the Thy1 knockout (KO) mouse model stems from the loss of Thy1 expression in individuals with Restless Legs Syndrome (RLS), a neurological disorder.