Served with ketchup and a side of tortilla chips