Hmm, what are we doing with the namecoins we are getting from Bitminter?  We must have quite a few by now...