No. We don't have any specific statistics. This is just anecdotal, but I've been told that it's fairly low. I've been at this job for about eight years, and every time I've spoken to someone about it, I've literally never heard of somebody taking this option.
While it's good that it exists and gives a pension if there is the option, as you said, if you have a very small pension, taking a 50% cut is a substantial amount.