Yup, such a tiny inexpensive part, but to get to it, you have to rip the top of the engine apart. Thankfully, @mobile-joat is a friend and doesn't charge anywhere near typical shop rates. He only charged me $485 to do all that work. That's dirt cheap.