Don't care. There are still too many ways to make fun of him being so red without biting an already taken nickname:
redboy, redguy, the human tomato, pinky, red head, shit the list goes on for days. This shit with biting other nicknames is seriously lame.