hard shell tacos (see notes for homemade option)