I think Mike and Rich are keeping both masts. That is why they bought a masthead spinnaker for the short mast that can be used as a fractional spinnaker for the tall mast. Mug Race = short mast, all other races = tall mast.

After all, isn't that how one design is suppose to work?