I sold my SDminiVN during one of my periods of feeling guilty for having so many lights
. It's a nice flashlight though. I do still have my TX25Cvn but it never gets used. When I want a thrower to carry, and if I feel the U21vn is too big (which is pretty much never), I'll go for either the EC60vn or TK09vn.
The EC60vn is quite a bit more powerful than any of the 3 lights you're considering and it's not too large for a jacket pocket (nor is the U21vn... which frankly, you need to buy... spec 2...
). The TK09vn is even smaller and it has a perfectly formed circular hot spot, but you'd have to make some effort to acquire that light. (mine is a Fiat Lux
)
One other option I'll mention is the Surefire Z2 Combat Light. I have a Z2vn and it's a little more powerful than my TK09vn, but I still prefer the Fenix.
Good luck and let us know what you decide on.