who sold two pizza for 10000 bit coin?

Did they still hold that 10000 or buy cheese ?