(fish) Chicharrones!
So they might not be the pork kind but they're still tasty. We ordered through CampusFood, I've never been to the actual restaurant. The chicharrones came with 2 sauces, one spicy guac. and one sour cream-y, and a nice helping of plantain chips - all around $10, big portions