Labor Day marked the end of pool season in Yellow Springs. But before Gaunt Park staffers drained the only public pool in Greene County, they let local hounds take a dip. About a dozen or so pooches splashed and swam, much to the entertainment of their human companions.