Does anyone else remember that “Mucha Lucha” cartoon?