Going with the 300Ah LFP battery and Victron Comms seems like a smart move, and the buck-boost for charging from the alternator sounds like a good idea once it's back on track.
Keeping one AGM as a start battery is a good backup plan. Using the 4/0 cable for the distance to the Lynx makes...