oh, have fun! Columbus is a great city