Though the documentation (size) might be correct; I seriously doubt there are two sizes in RED (one being 42 mm) and the documentation might be referring to a 42 mm natural 20F.

If so, there might be something about the inventory (SERIES) we do not know of for sure (see Pascoal's notation; length of operation during the races -- 2-weeks of gambling).