Oh man, good call! I totally remember that. I mean you could always shrink him down, but to me, being humongous is part of what makes Petey Petey. Though to be honest, we haven't seen him since Double Dash!! I don't think we'll be seeing him again anyway. In an abstract way, I feel like Funky Kong kind of fills his spot, as MK's big outrageous party animal. MKWii also had a kart sorta based on Petey, so I feel like his legacy lives on that way.