Geniuses, I'm contemplating getting these heads (HD 17142-06KB). I believe they are 1250 heads. I have an 1130. If I were to drop the money and pick up these heads, how do I determine which head gaskets I would need. From what I've read, heads are totally interchangeable. Thanks!