Thats normal. In 2010 we payed 10.000 Euros to repair 2 powershift cluches from a Fendt 824 Favorit. One year after, the other two cluches are at the time. So its normal, that a HSX cant be repared at same price level like a
Zetor 7211.
But - also a HSX you can repair by yourself. Needs more time, but costs less money. From hat year is your HSX or model year?
Zetor have no easy time at the moment, but they come in certain months (2025) with a brand new 120 to 171 hp model and after that it shloud come a bigger series with more than 200 hp. Both new series should have Deutz motors and ZF gearboxes - not the badest choice in my opinion.
Its a hard time for small tractor producers like Zetor with much less money in the background like Agco or CNH or Deere.