Try also Chapter XVI of "Proper and Improper Forcing"Forcing" (entitled "Large ideals on $\aleph_1$ from smaller cardinals"). It's hard to tell exactly what's in there, but he does say in the chapter he will "keep old promises from 84-85 mentioned in [Sh:253]", where [Sh:253] is the paper Michael mentions, and he does claim to be replacing certain hypotheses used earlier by the assumption "$\lambda$ is a Woodin cardinal".
Try also Chapter XVI of "Proper and Improper Forcing". It's hard to tell exactly what's in there, but he does say in the chapter he will "keep old promises from 84-85 mentioned in [Sh:253]", where [Sh:253] is the paper Michael mentions, and he does claim to be replacing certain hypotheses used earlier by the assumption "$\lambda$ is a Woodin cardinal".