What's the story with Mr. Mint (Alan Rosen) these days ? Is he still buying cards ? I see him at shows, but he's always reading the newspaper. He seems to be keeping a low profile. What's he up to ?