Of the two, I like Pixel. It's a very nice name and the character sounds neat too.

I was thinking - you got him on Christmas. Remember that song, I don't know the name of it but it started out "My name is Christmas Carol, I was born on Christmas Day." It was a song about an orphan. And your kitty was an orphan, but it's a boy, so how about "Christmas Carl" and you could just call him "Carl."

I'll bet nobody has a cat named "Carl."