El Toro Brew Pub on the edge of downtown Morgan Hill is for sale. What kind of use or shop would you like to see at the site?