What ended up being the problem? I’m having the exact same issues (dead battery and overheating) with my 2006 Kia Sedona. The belt is good and no bubbling in the radiator.
Symptoms may or may not be related. Suggest to start by asking your shop to figure out what’s causing the dead battery problem. That should be pretty easy to determine.