Happy Bitcoin Pizza Contest.

Could you help me to solve this myth, please.

Did Laszlo Hanyecz exchange 40000 BTC for 8 pizzas, not 10000 BTC for 2 pizzas?. I only knew about this days ago and could not find more confirmations for this information anywhere. It started in this forum and the answer should be found in this forum.