DEC RC25 repair