I use ICS copper head gaskets, with the built in o'ring (sold by good viberation) they are pretty expensive, but i'm running a 1471 on the sm/blk and pushing over 30 lbs boost.
MLS are a lot cheaper but will probably work wit 9 lbs boost, i would opt for the 4.165 size because you need all the seal that you can get.
JMO
Zip.