Conder said he had more than that, without counting bulk coins. I would have to include Chinese cash coins, but not wheat pennies or world bulk in order to beat 17k I believe.