Not sure if OEM. I ordered from equipment manufacturer. They didn’t come in a box, came loose wrapped.
I did call a JD distributor but they said it’s proprietary I believe.
Only ran it for 15 minutes today and shot top of block and head, average around 120 degrees.