I was just a kid at the time, I can't remember what they did with it over time. I do remember it getting pretty large one time and the executives were nervous about this pile of money they didn't know what to do with. The CEO/owner was a very honorable and decent guy though and I have 100% confidence whatever was the RightThing(tm) to do is what he did.

heh 20 something years later and he still takes my calls to listen to my crazy business ideas.