I'm posting this in the interest of accuracy and completeness.
I vaguely remembered a theft at WP reported on the WPS forum.
It took a while, and I had to look back almost 5 years, but I found
this report.
If anything, it shows that this kind of thing is rare, and even then the crooks tend to be caught.
