Anchor changes their Christmas Ale every year, and they keep their recipes very secretive. What you have there may be a good recipe, but chances are it won't be near a clone of this year's Anchor Christmas Ale. And who knows what it was like in 1995!
If you do go with this, consider splitting the vanilla bean and tossing in secondary (if you secondary) instead of boiling it. IMHO, of course.