I'm not a big fan of downloading something that converts my SWFs to an EXE and distributing them. Call me old fashioned ;-)
I tried 7zip on the highest setting compression and it came out to the same filesize.
I certainly didn't ignore your post, I simply didn't think it would be a problem for the majority. Thanks for linking that SWF2EXE though, people can do it themselves if playing SWF's is an issue.