I once considered the 25000 Ctek, but was turned off that with the battery temp sensor included in cable clamps, it was not designed to be hardwired, and I did not want to void the warranty by doing so, nor did i want alligator clamps permanently attached to a battery.
The PD9260-14.8 would be my automatic converter of choice, if I wanted a converter. At least It can be forced to seek 14.8v at the touch of a button, and hold it for 4 hours.
Place it close to the batteries. Nobody says you have to put a new converter in the same location as the near useless Wfco.