Well the watts are a multiplication of amps x voltage = 3.5x240.

So you're looking at 840 watts. A step down to that would be expensive. You're better off buying a 12v 3.5 amp power supply and swapping the cable from the US PSU.

As a temporary measure, if you have an old PC knocking about you can use the PSU out of that.