Over the record of his predecessors? Who knows what their record would have been if they had Allen? What would seans be without Allen? What would an offensive minded HC's be after he replaced Sean while having Allen.
We can play this game all day, but it come to an end with this... we aren't progressing, we are regressing with Sean. And I don't know of many, if totally honest, feel we are winning a superbowl with him as HC.
Best guy to turn a floundering team around? Absolutely. Is he the right guy to get us to the next level? No, I don't believe so.
Good is the enemy of great, and he is good at best, not great.