AFAIK that's already more than was lost in any of the bitcoin heists...