Okay, well I managed to hack around with the files a bit - made a copy of the 3100 image and patch in the tools.tar and named them 3200, and hacked the updater.sh script to allow flashing to the 3200.
Well it worked - I managed to flash the 3200 with the image for the 3100!
Unfortunately, my brand new SL-C3200 now doesn't do anything on startup. I hit the power button, the screen flashes, and then the pda shuts down again. I can get the bootloader menu (hold down ok when hitting power button) no problem, even tried reflashing for same effect.
Can anyone help me getting the pdaXrom running on the SL-C3200 - does it need a special kernel that is different to the 3100 in some way?
Note: this is with the 1.1.0beta2 image