Actually, that Mahna Mahna 45 is the one on Pye for Portugal, taken from the UK LP. The new LP I found on RCA is for Brazil, and it's one of only 2 dubbed Muppet Show LP's we've seen, the other one being France. Although the Brazil Mahna Mahna will probably be the US soundtrack, too.
I wish they spoke Spanish in Brazil. It would make things less confusing!