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—-