I now don't think it was a MOSFET. Others have matched the JJM JCT425i with a JCT625 and TYN625 (just 600V 25A vs 400V 25a) SCR Thyristor, not a MOSFET. Does the MD 1618DLC board use these SCR Thyristors and does that cross-reference look right?