Thanks for the info cjm. I’ll probably try sanding down the scratch some what just as a precaution to remove some of the roughness. I reckon the scratch is probably not deep enough to warrant filling in, but I’ll keep checking the seals to make sure they are holding up.