Best Semi-Professional Plasma Cutter: Tomahawk 1025 or Welder Fantasy CUT GALAXY 40A within Budget

Hello,
I need to buy a plasma cutter for semi-professional use (I do not want to buy a cheap Chinese for PLN 1000 but I will not spend PLN 10,000 on a 1025 tomahawk either). My budget is from 3000 to 4000 PLN. One thing it must have is a pilot arc. The power supply can be 230 or 400V. It is mainly intended for cutting metal sheets up to 10mm thick, so I don't need big amps. There are many offers on the Allegro, but I can't decide, I hope that one of you will tell me what to buy.
I found such a cutter on the Allegro:
Welder Fantasy CUT GALAXY 40A
it has a quite interesting arc ignition system, I really like the fact that it has a display and a built-in reducer and a plasma cable for the euro connector, I just don't know if it has too low efficiency, only 30%.
What do you think?

Hello!
I was looking for a part-time cutter some time ago and found something like this:
Sherman CUTTER 50K COMPRESSOR.
Standard cutter for not very thick elements, but one thing convinced me - this built-in compressor - solved the problem of dragging additional weight when moving the equipment and it works without any problems. It seems pretty good for its price.
Greetings.

Gentlemen, let me reheat the cutlet
I would like to buy plasma, I have two types
IDEAL TECNOPLASMA 75 or Sherman CUTTER 70 similar parameters, similar prices. What do you think.