https://bitcoinmagazine.com/culture/the-man-behind-bitcoin-pizza-day-is-more-than-a-meme-hes-a-mining-pioneer from May 2019 (a bit before the Bitcoin Pizza Day) mentions that:
> To Hanyecz, who told Bitcoin Magazine that he spent something near 100,000 BTC on pizza that year, the purchase was just another drop in the bucket.
so it is likely much more than 40k. E.g. at
https://blockchair.com/bitcoin/outputs?s=time(asc)&q=value(1000000000000),time(2010-05-18..2010-08-05) we can see about 20 potential candidate transactions between the announcement and withdrawal of the offer.