Talk:Horn Hat Mickey/@comment-35158058-20200814005630

So they were going to rename him Tricky Mickey and rename Cat Hat Minnie as Kitty Minnie? I'm glad they changed the names back to the original Japanese ones at the last minute. I don't like it when the names are changed in the International version, like when they renamed Romance Jasmine as Spirited Jasmine.