Both brilliant ideas! Though he gave the coin so probably doesn't necessarily want it back, but a token of some kind from the community to show our appreciation would be great!
It's why I gave him a bunch of Reddit medals for his going away post.. but turns out he doesn't use Reddit very much...