I think I had tried this plugin before and it had failed. However, I just used it now and it queries users and lets you "mass delete". It deleted a couple of users I wasn't expecting, but it may just be because I wasn't paying close enough attention when deleting users. It didn't delete me as the admin and didn't delete the 1 user with other posts... exactly what I wanted 750 other random spam users gone! YAY.