Sorry I don't have any paperwork.... I knew the master tech who did the work it was his car and I have known him for about 15 years.... If it is an issue I am flexible on the price. I do have all the shop manuals for it somewhere.
"Master" technician ....