Then I have another suggestion. If you are in no hurry, buy something for T12 tips. At this price from China: link At the moment it costs about PLN 120. If you create a new account on Ali, you will get a $ 4 coupon. And you'll get $ 29.64. And the purchase from the Aliexpress application on the phone 5% discount:> ~ $ 28.2 It's probably hard to find a better offer at this price.
T12 tips have a built-in 75W heater (real power). Additionally, each tip has a new heater. If you buy 4 different tips, it will last for years with occasional soldering. The tip will overeat quickly, the temperature is more stable, the tip of the tip warms up, not the whole butt ...
The stations listed by you are the heater power (real) 45-50W. Higher power is just marketing.
Possibly even cheaper solution: link But I would choose the first option.