You are correct. JMPPro does not have a built in JMP to Excel prediction formula translator. However, many of the generated least square prediction formulas can easily be translated into Excel. Not knowing the complexity of the formula you are generating, it is tough to be able to make any real definitive statement on how or if the formula can be converted.
Jim