Obviously, he was a prolific chip collector, with 8000 chips in his collection.
But I don't recall him in the club or elsewhere in collecting circles.
(There are many fellow non-dealer collectors that I haven't met.)

Anyway, good luck on the Batten sales.