File:Spanish dub clip from "Is Everybody Happy?"