On a side note, what does one even do with $6.3 billion in crime coins?