Today I gave my bike a much-needed washing after a day at Northstar, only to find some dings and scratches on the right stanchion of my fork. The big one is probably about 1/16 of an inch deep, and I can't notice any extra stiction when compressing the fork. Should I have the stanchion replaced, or will it be ok?