If you can swing it budget wise then I’d get a panel without a charge controller as the bundled one is usually crap anyway and replace it with something like the below and then use it for both sources:
CTEK (56-677) D250S 5-Step, Automatic DUAL 12 Volt 20 Amp Battery Charger https://www.amazon.com/dp/B005LBCVL4/ref=cm_sw_r_cp_api_2NSoAbZX0TTQG