Three banh mi tacos for $9 sound ok. You'll never mistake these for your favorite banh mi since this version is grilled pork w/ hoisin sauce, and some kind of pickled stuff on a single flour tortilla w/ a spicy kick thrown in. But it is tasty and should leave you satisfied for an hour or so.