re: Is the name Randy short for something?

Randy is a given name, popular in the United States and Canada. It is primarily a masculine name. It was originally derived from the names Randall, Randolph, as well as Bertrand and Andrew,[citation needed] and may be a short form (hypocorism) of them.

Wikipedia has not figured out a way to screw that up yet.