I had a friend that dealt with the same thing last year.

It is absolutely imperative that you get the correct bolts if your doing this repair yourself.

There is a lot of confusion and lots of special detailed separate instructions about the different bolts used and different block casting numbers. Using the wrong bolts can pull the threads out of the block.  

At the very least talk to a JD mechanic that is familiar with all the head bolt issues.

Here is the info I was given.

http://talk.newagtalk.com/forums/thread-view.asp?tid=56150 

It's very nice that you offered to help with his last field.