How Rare is Blue John?