From what I know that guy was actually the first person to realize that ASIC mining will be a thing in the future. He was also a programmer for some gaming company (all of this knowledge is coming from Reddit comments so take it with a grain of salt).

Whatever the case, if he was willing to spend 10k on a pizza I am sure he had another 100k stashed away.