Indeed, in the version I saw, they said "Pizza Hut" but you could see it was badly dubbed. Only much later I learned it was originally "Taco Bell".