Unlikely; if it were lower stakes, maybe, but even high end poker houses are not such high margin enterprises that they can afford to comp $10k to an angry customer because of dealer error. Maybe some smaller comp, but not the whole pot.