Have a TAC50 with a bad IOC board, TK is claiming the board is obsolete and must upgraded to 32BIT processor and IOC. Has anyone performed this procedure? Whats Involved?