After removing the old belt to check sizing, it was determined that the belt was approximately 10 inches shorter than required. I've tried getting it to work temporarily by bypassing the AC pulley, but it's too long for that. On other sites Continental 6K1388 looks like the correct part number for the r53 MCS.