Peter said he sold half his coins for 5 figures - e.g: 20,000
So it could be anywhere from $10,000 to $99,999. At today's exchange rates, the range will be
BTC16.75 to
BTC167.50. So his total stash could have been
BTC33.5 to
BTC335.

BTW, which exchange he used?