The battery guy meant well but is ill informed. You don’t need to use another charger on your RV battery provided th converter is working. The stock WFCO is ok provide its working
As already suggested measure the DC voltage with n shore power and the. With shore power
You should see about 12.6 and then 13.4 or better
If not then either the converter isn’t plugged in or when you replaced battery you reversed the leads for a second. If so you blew the reverse polarity fuses usually located on back side of converter
All of this is easy to troubleshoot and fix provided you have some basic mechanical skills