Depending on what needs to be done. If it is just reflashing the BIOS, I do that all the time.

If they need the common compoments replaced (i.e. capacitors, RTC, etc.) there are still a number of electronic repair places that can do that, but you may need the BIOS reflashed on the RT board once they are done.

If it goes beyond that, Siemens is probably your best bet.