Not quite sure, as the previous service team was not ours, but from a dealer instead. However, at this time I would believe the dev unit to be the correct unit for this machine. If all else fails, I'll have the tech replace the dev unit with an OEM and correct P/N to be sure.
Bookmarks