Don't know if this is the right place to put this, if not, apologies. Recently acquired a Portamig 235 which I'm running on a 13 amp supply. Want to get the right supply installed in the garage so I can crank the beasty right up if needed. The garage is part of the main structure of the house and as such, is where the consumer unit etc is, so it shouldn't be a major job. What am I going to need? 16 amp, 20 amp? Or even more? TIA