What was the amount of lost coins at the least conservative estimate again? Let us say 20% of current supply? So that is 3.6 mill coins. Let's just be kind and round it up to 4 mill.

Drop that in the market across let us say 10 exchanges and you have 400k dumped for orderwalls. That might crash things, but not for long.

Bring it on, though. Would love $100 btc!!!