said by Nick D:Miiiight be worth going two heals to get the kill quicker in this particular case.
From some WoL analysis, ~40k dps is needed per person on average. Or ~280k collectively for a successful kill...this is on the low end, as the logs I looked at with these numbers took 7:20 to down the boss. If we have 8 damage dealers then we'd only have to average 35k to win...but healers would really be stressed in that scenario. 8 people averaging 40k would be 320k dps and we'd be talking a significantly shorter fight.
Immer, I seriously suggest giving two heals a try a couple of times this week. If we could turn a 7 minute encounter into a 5 minute encounter, that only bodes well for us.