This one actually has a(?) recipe(s?), not just basic instructions on how to use the vanilla bean and the coffee. This website has a lot of recipes, actually. Here's a link to their home brewing section: http://learn.kegerator.com/homebrewing-2/
Pumpkin IPA HomeBrew Recipe. All Grain Pumpkin IPA Recipe. Looking for a fun beer to brew this Fall, try a Pumpkin IPA. A mash-up of earthy and sweet pumpkin flavors with light caramel malts and piney/woody Simcoe hops. Pours a nice seasonal pale orange color. Dry-hopped with Simcoe hops and a cinnamon stick.