Today Samsung announced that the Galaxy S 4 Mini will release in U.S. at some point in November. The company didn’t tell a specific date which is a sign that it’s leaving those details up to the carriers that will ...