This is definitely NOT a joke.
10,000 BTC were nothing in 2010 when someone bought a pizza with them. I would be really pissed if it was me who spent that amount of BTC on pizza.

Hell, if I have access to a time machine, I would love to get those 10,000 BTC and deliver a bulk of pizzas on the buyer's doorstep myself!