I was thinking of trying the Coffee-Crusted Pork Tenderloin with Redeye BBQ Sauce that was in the Eggfest '03 Cookbook on TNW website. Anyone else ever tried it? How long to cook and at what temp for about a 1 1/2 lb. tenderloin? Any modifications to that recipe out there that I should try?