Shouldn't make a difference. They each have a unique name that keeps them separate. I have installed all four on my test site.
1. create a folder on your server.
2. upload the theme.
3. decompress the theme.
4. put the decompressed theme into you ow_themes folder.
5.go to your site, and refresh the page, and see if the theme is showing as available.
I haven't heard of this issue yet. The only thing I can think to try is to compress the theme file again, and re-upload it to the store, but it appears to be working well on my end.