Martin Brown says...

Your [HAVRILIAK's] calculation is based on a wrong assumption.
I suggest you *really* go and try this yourself with a genuine coin

I predict that he will spend several hours arguing rather than spend
ten minutes flipping coins.