Either one of those converters would be a good choice.
I discovered I had a PD807 screwed onto a board and stashed in the rear storage area when I bought my old Starcraft. When I cleaned it up, picked it up (oof da), and plugged it in, I knew I had a winner. This old PD has an adder board for the charging circuit. That is probably one of the first multiple stage chargers to be used in an RV, circa 1971. It only pushes 30 amps but I have solar so don't care what it produces. It operates with no noise and the power is rock steady. It's 44 years old!