thanks to all for the suggestions. I probably won't do anything but monitor oil usage for the time being. If, and when, I decide to replace seals, I will report the results. again, thanks.