I called two JD dealers in my area for a magnetic drain plug for my '17 1025r. One dealer said they did not have it, and did not even know the size of the drain plug. The second dealer said "no" also, but said the size was 16mm. Does anyone know if a
16mX1.5 magnetic drain plug (which I can get from Amazon) is the correct size ? Thanks in advance.