Looking at getting a .380 auto this spring and have never had a Glock but leaning that way. I like the new 42 model but what really interested me was their model 25. Then I find out the market for this particular model is focused on South America. Does anyone know if it is at all available in the US? Thanks. Mike.