Hi, Juliette, Thanks for posting. “Randy” is usually short for either “Randall” or “Randolph.” Take your pick. In my book, he’s just “Randy.” —-GK—-