Shopping for plasma cutter in this range. I understand that these are the same manufacturer these days. Does it matter which one for quality? I am also considering the Hypertherm 380. Any advice? thanks