Considering buying a small automatic to carry. Have looked at both the Walther PPK stainless and Glock 42, both in .380. Has anyone had experience with either weapon?? Appreciate insight on the pros/cons of each gun. Thank you!