No, they actually addressed it. I'm sure Shane or Scott have better details than I do, but somebody apparently found a script or something that introduced the character as "Piri," so his page on the Wiki was changed to reflect that . . . but I mean, just listen: everytime you hear somebody say this character's name on-screen, it's clearly "Petey," there's no mistaking that T sound for an R sound.