Haha, alright, it may just be my noobness showing then!
Regardless, we believed it would have been inefficient to kill the fellow with our strat using shaman, and we had the ability to bring in a 5 healer comp with 2 priests, 2 druids, and a monk (I think we also went for a 4 resto shaman comp for Thok initially ...) Similarly, 10m should be able to do the same if they feel one or both of their healers are the wrong spec.
Didn't I straight out say that 25m had 2.5x the lashes and banners of 10m in that sentence you quoted? o.Oyou do realise that 25man also has several of these said cooldowns when compared to 10man
Each warrior or shaman is only worth like 0.4% of a player's dps or so. All things being equal, the average 25m raid will get (10*4/11*0.4) = 1.45% more dps from their random stuff than a 10m.