what to do when you find some stupid bit of musical trivia that involves a mid-80s song from Brazil that got the lyrics changed by a Dutch band, then got translated into English...

This is what my stupid trivia-riddled brain likes to do a lot.