Thank you for the previous answer. I just removed a single plug and found mine are Bosch HR8LII33U Double Iridium. It is in excellent shape after 20 years and 190k miles. I’ll be hard pressed to go with anything else at this point. Rock Auto list this as Bosch 9602.
Then those aren't the OE plugs; the originals were changed at some point.