Если Вы под ОБЯЗАТЕЛЬНО понимаете 100%-ное выпадение, то да, я согласен. По-моему никто иначе на этом форуме никто и не думает
Т.е все согласны что красное не должно и не обязано выпасть хотя бы раз за миллион спмнов в ПРЯМОМ трактовании этих понятий. Зачем тогда мы их используем? Может быть лучше говорить так: Красное может выпасть, подразумевая при этом что может и не выпасть.