Ah, so that’s what happened to Big Tex.