It is. And at the same time, it's really good that his wife was able to get into his account and reach out to us. This way she gets fair value for all the chips of his that she really doesn't need. And I assume she is keeping his Grateful Dead themed custom Royals for the memory of him. I wonder how many other chippers pass on, and their collections sit in boxes in the attic or get sold for pennies on the dollar in a garage sale.