Earlier this morning I tried looking up info to answer your question. I never found exact part #'s though. There was a discussion about the washer part numbers on www.gnttype.org being incorrect.
Distributor shims seem to be a popular way to remedy the cam sensor problems. Maybe someone else can get you some better information.