Read a while back that the county may be trying to buy the rights to the lake, anybody hearing anything ? sure would be nice to see it a public lake and ran like the lakes down in San Diego