With Ron Graham's passing, does anyone know what becomes of the famous Erdos checks? I know there's no monetary value to them but I would bet many people would

With Ron Graham's passing, does anyone know what becomes of the famous Erdos checks? I know there's no monetary value to them but I would bet many people would just frame them to display it like a badge of honor.