Things just improved!
There was a bit of a misunderstanding between me and the person selling the machine. Apparently it is a KRC2 and not a vkrc2. The picture of the controller showed a sticker that for some reason says (v)kr c2 on it. But the machine is a krc2. (it is a BMW factory machine)
That puts me in a much better spot.
Krc2 over krc1 is a bit easier to decide.