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)...
Not to beat a dead horse, but any updates on how things turned out here? Am making a doppelbock and looking to add a vodka/mint leave concoction to the secondary. Any help would be super appreciated!