That one's interesting. Do you know how they came up with the word "trots"? Is it short for something? Or a play on "ponies"?