Columbus is a restaurant establishment.