Does anyone have a written procedure describing a VCMI Comms card change out, over and above what is contained in the GE standard manuals?