Thanks for this! I had a calendar plugin that made posts out of each event. Got rid of the plugin, but had about 2000 posts to dump (that, unfortunately, were all categorized such that I couldn't just do a simple MySQL dump). This has saved me hours of time of manual deletion, and worked for me without a hitch. Brilliant!