You know, I had a similiarly sleazy response as DEG and Geo all typed up before there were any responses in this thread , but I said to myself: Nope; I'm not gonna do it. I knew it would happen, though.
I use Directory Opus ( here ) in place of Windows Explorer. It has a batch conversion option for images, allowing you to set filetype and size. Works quite well.