I think the drink was called "Jarritos".
My Mexican husbands family owned that property from 1940's to the
1960's.
This is the first time I EVER heard this story.
Who told you this.?
We used that "La Granja" [we called it] constantly and consistently for years
I rode horses and was all over the property which went from the highway to
the Lake I never saw anything that looked like a bottling company.
Any older person in Jocotepec will confirm this information
It was never called Roca Azul until the 60's when they no longer owned it..
Maybe, legally, it was named this but we didn't know the name existed.