I ordered a German filter and crush washers so I can finally change the oil. Now, how much actually goes into it? I've heard 10 quarts and I've heard 8.5. Also, recommendations for oil? The 87 5000 gets M1 synthetic 0W40, and that's on sale right now. Thoughts?