I decided to check out the Wikipedia's martini page. Yowza. There's a huge amount of detail there about the whole shaken/stirred thing, the ratio of vermouth to gin/vodka, and so forth. Who knew martinis were so complicated?