Ken
If so, it seems obvious they owe this guy the money. How much a guy bets on a single outcome ought to be between him and his bankroll.
If he had bet 5k before, would this bet be ok?
15k? 22k ?
Bottom line, if those 4 questions answer yes, this guy gets paid if I own the book.
Shame on ME if my software is fuked and my employees are asleep at the wheel (or worse, asleep at home).
VVV