It's a one pan dish. And they are mini tacos! It's perfect...
Really liked those mini taco tortillas... Guerrero brand Taqueria Style, "Street Taco" size. They have great flavor when you lightly pan grill them and a nice "chew" you don't get from lesser tortillas. $2.50 for 60 of them too and no refrigeration required... It's one of those perfect foods...