Does anyone have the proper belt length for a K24 with a K20Z1 crank pulley and an EP3 idler pulley? Would be helpful if anyone had the answer before I bust out the string measuring method. Thanks