We need a vote, do we take down Berenhotep straight off or do we get some extra allies through taking down Gruthdor? This also has the advantage of removing Berenthoteps final ally.

My vote goes with taking down Gruthdor first once we have some other allies.