Out of curiosity, is Randy still in common use in the USA - either as is, or as the abbreviation for Randolph? Always cracked me up, bearing in mind the english meaning of the word as an adjective.