Thanks for the replies. I drained it down. I had considered pulling the plug, but was concerned about losing all the oil before getting it back in. It turned out to be easy. I had to open the plug a half dozen times before I got it right, and did it with the engine cold of course. The level was probably actually 3/16" high. But it amounted to less than a pint of oil in my BX-22. Probably not enough to increase pressure much or cause any other problems. Since the mower was now on, it would have been easier to do it right the first time! This site also helped during the oil change when I found the new oil filter was a different color and part number. A quick search here revealed I got the preferred Japanese produced part. I had checked with the parts guy at the dealer, but needed to confirm his explanation. He said the old one was the replacement part, but he had supplied OEM one. Also that the replacement was usually cheaper, but in this case was a couple dollars more. Pretty much in line with what I learned from my search.