2017 3500CC 6.7 Aisin 4x4 Odometer reads 6500. I brought the vehicle in for oil and filter. Dealer not only did the oil/filter but since he had the new water pump he performed the T51 water pump recall and the U11 interlock recall via a flash. Today, which is about 5 days later and 120 miles, I started the truck cold and saw the yellow battery light appear. I immediately shut the truck down and used another vehicle. 8 hrs later started the truck with no problem but about 3 mins into the warm up the red low antifreeze msg appeared as well as the yellow battery light but both went out within 30 seconds. The reservoir is at the medium mark and all cables at the both batteries are on tight. I drove it for about 10 miles over some rough roads light has not appeared and there appears to be no codes thrown. The battery showed a solid 14v with no fluctuation in cluster display while i drove the 10 miles. Could all this be related and somehow due to the replacement of the water pump or the flash? Also are those batteries AGMs in the 3500 diesel.