Andy, my model only had the house lifting once and are events that actually happen. What it failed to take into account was that in several situations, the house was forced into picking one of the 2 remaining cups and although invalid, they still need to be taken into account for the oveall probability.

Jon