I have been confronted with two options at the local parts store - Gaskets with or without pushrod guides for my 3100.
I don't want to take it apart before finding out which one I need; though they do have both in stock and the difference in price is negligible. I would just kind of like to have everything ready before even breaking a bolt loose.