I need to replace the pilot shaft on my J25RLCNB motor. The part is no longer available from BRP but I have found a used parts dealer that says he can help me. He said he needs the six digit casting number. Where on the motor will I find this number. Thanks in advance