I remember running into a few casinos in old days that would pay $11.50 instead of $11.00 for a $7.50 bet that should have paid $11.25. Made it nice payout.