Could Barton Springs be renamed?

Austin Parks and Recreation Board is recommending to City Council that Barton Springs Bathhouse be renamed.