A UTEP physics professor named Michael Blue won a campus naming contest in 1974 with the entry Paydirt Pete — beating out more than 500 other submissions for the miner mascot.