They have 2 repair categories: minor (~$700)and major(~$1800)…those prices are about 5 years ago when I had mine done.
Another option would be to pickup a used controller:
eBay has one listed for $1250 and full systems(controller and servos) for $2000. If you get another controller, you’ll have to open both up and configure the newer one like the other. Check with your avionics shop, the configuration is set using resisters plugged into the motherboard.
If you choose the 2nd option, I just started an upgrade and will have one available (14v) in about week or so for less than eBay prices, PM me if interested.
P.S. it’s S-TEC, searching S-TEK is another company.