I usually solve these problems by a visit to the local auto parts
store. They usually look it up for me in the maintenance manuals.

I am surprised the service manual does not give the specification or
original part number.