He left a lot more than that on the table at close(unless he closed). No, he didn't sell any options, it seems. This was the action in the June 21 calls with a 20 strike: https://www.nasdaq.com/market-activity/stocks/gme/option-chain/call-put-options/gme---240621c00020000