I am well aware that this thread is many years old, but I came across this thread yesterday, and today set out to find washers locally instead of going to a diesel repair shop, and I did.
I just wanted to share my findings with this forum to make it a little easier to complete this project...