It would be really interesting to know how many of these were made, and if there are any that are still unredeemed
Yes, the keyword is "unredeemed", one could imagine that in 2011 most owners would have loaded the addies with thousands of BTC, its hard to imagine that they where not unloaded during some of the great bullruns (20 USD, 250 USD, 1200 USD, 19k USD).