I heard Pancho Villa is closing

Persistent rumors say it’s closing next month, and a Sprouts is opening in its place.

Has anyone else heard this?