red75 comments on Probability puzzle: Coins in envelopes