Marina is a restaurant establishment.