$100k might be a big bet or a small bet for him, depending on what his net worth is. In any case, he's probably not betting his IRA on this, so I'm not sure the amount really matters beyond getting people to pay attention.