OH YESSS THIS IS EXACTLY THE KIND OF THING I ADORE !!!! I love going over some media that I like and going through and comparing the Spanish translation with the (usually) original English, it's always so interesting to me and also often very frustrating LOL. I'd love to go through the most popular Spanish HS translation some day and see what ideas they came up with, though it probably won't be as interesting as this considering Spanish uses the same alphabet...
Also, it's natural for puns to always get lost in any translation but are there any fun replacements you find particularly clever that come to mind (and would take the time to explain)?