Columbus is getting its first public pickleball facility : v