While I wait for a B25K pot I hooked up a 15K resistor and a 10K pot. Was able to adjust the output voltage from 0 to about 12.7V so I think 25K R is the right value.
The only ICs on the board are a CA324E and a CA723CE - so basically an LM324 op-amp and the classic 723 voltage regulator.