Were these coins by any chance investments by the Ohio Bureau of Workers Compensation?
These were privately owned by that family. The Ohio stuff is something else. But now that you mention it, I do wonder what coins they owned.