Got it from someone on Poker Chip Forum in April 2020 along with some other obsolete Aruba House chips.
Does that website still exist? Is that the new Pokerchipper.com?
Scott