Jeffersons Pools VA

Anyone ever been to Jefferson's Pools in Virginia? Looking for opinions if its worth a stop while in the area.
Thanks