Random theft or targeted, I wonder? If the former, I'd love to have seen the eyes on the thief when he found it. That's 18 large on the legal market, and I don't know what it'd go for on the street, but it'd sure beat stealing a stereo. If the latter somebody has been talking way too much about what he carries around.
A big part of the premium you pay for legal full auto is the legality part of it. Probably $2g on the unofficial market. I was told that the police pay about $800 for them.