The Crimson Binome
Hero
It might make the encounter harder than if they were to rule otherwise, but it's not like the encounter was supposed to be balanced in the first place. Maybe a Roc that can be stunned is properly CR 11, and a Roc that can't be stunned would more correctly be measured at CR 12. The party is level 7, and it sounds like this might be their only encounter of the day. All of the design assumptions, under which the math may have originally been balanced, is already being thrown out the window. As a general observation, a level 7 party can easily handle one CR 11 or CR 12 monster in a day, but the simple fact that you're not intended to run those sorts of encounters is enough to mean that it could potentially swing the other way with a couple of unlucky dice rolls.If they do make such rulings, they need to understand that is making the combats harder and make adjustments to balance it. That was the point of my original post, that there should be some complisation for the nerfing of expected abilities.
In perfect seriousness, nothing in the book is balanced to account for a monk flurrying with stunning strikes. That exploit is a byproduct of informal writing and insufficient playtesting. Going by RAW, the monk should be able to keep the Roc stunlocked for at least two rounds (even with its massive +9 to Con saves), and the fighter will turn it into swiss cheese. If the DM rules that it can't be stunned, then the party should still win the fight with just numbers, but it will be less of a complete pushover.