Mike Gundy reimbuses man who bet on Cowboys and lost