5 Things to Do in Columbus: Oct. 13-15