Aggies is a restaurant.