May have figured it out..

chkdig = TRANSFORM(9-((VAL(LEFT(proIn,9)) % 9)))

That gives me the correct check digit and appends it rather than sums. Now to check if it actually works in the program itself...