Thanks all!
From all I've read here and elsewhere I think what I'm gonna do for my "Doublemint Doppelbock" (5 gallon batch) is take 1/2 gram mint leaves, pound them under wax paper (to release the flavor), and then throw them in 5 oz of vodka along with a peppermint candy (for good measure)...