[DrewOnTilt]

If both the dealer and half of the players at the table say that he had the flush, then the floor made the right call. The rule of thumb is that everything possible should be done to award the pot to the winning hand.