One can only hope that all affected players were reimbursed without having to jump through hoops.
I think it is more likely that only players who noticed the incorrect payout and complained (like me) were reimbursed. So the lesson is: always watch the payouts closely when you play!