I can confirm this. I've fought that guy solo and it took around seven minutes for me. My tactics involved running around the rocks and sapping him with grenades when I ran out of ammo.