The 4655 is the correct replacement, but expensive, only because it fits where the old one was. It is a price rip in reality.
The 9245 or 9260 are the same converters, except they are stand alone converters similar to a battery charger, and they connect just like a battery charger. If you have the space near your electrical panel, or near the batteries, I would prefer to go w/ the stand alone, and save the money at the same time. And you would leave the existing converter where it is. The 9260 (bigger amps, smaller size) just mite fit in place of the Wfco (have to check)
But if you drive in and say fix it, the 4655 it will be,
