Thank you playing! The horse names are also real names randomized from a list of the last few years of Kentucky Derby participants.
