My chart indicates 88.If you get yourself a manual it should be easy tocheck timing.There are numerous aftermarket manuals. You could check at the library.
I am checking the work of a mechanic who did not have a manuel. I now realize that I need a manuel in order to check his work. And if I had a manuel then I would not have had to ask this question. Thanksfor your advise.