That information is correct. The real trick will be finding them. Seems that AC has cut way back on their part number inventory, with many "obsolete" parts being discontinued. I've been told that the only plug currently available from AC is the R43, which is what I currently have in mine. Another option would be to use the J8C Champion.
