Casa Antonio is a brasserie offering café service, restaurant dining, and a grocery store.