I’ve never seen that before; thanks for the information. The house edge on the ante bet, with those ante bonuses, is 4.75%.