Pine Burl and Fire Crew Hot Springs Revisited