No, it really is his real name. He uses his real name online, and uses his "real" name as his real-life alias. I thought it was ingenious when he told me years ago.
My old username was simply the phrase "do not care" (because I didn't care about what the account name was) with a number that was one more than a random number I picked when creating a Neopets account years back (the number, 95, was used instead of 94, the original account, because it was the name of the account on which I had done a lot more stuff). My current username comes from the instruction manual for the NES version of Gradius, where the ship was called the Warp Rattler rather than the Vic Viper. After returning to #tmk after a ban from long ago for a topic change during a netsplit that didn't fix itself, I continued to use this nick, and eventually asked if I could get my username here changed to it, which, of course, happened.