I know "everybody" wants a NEW gun, but have you considered some of the older models out there? I'm not going to try to sell you my Thomas (a wonderful small .45 ACP that will bite off your hand) but will recommend you look at an AMT Backup - they come in either 9mm or .45 ACP and are running about $300 - $350.
I have two in ,45 ACP- one that I diamond-stoned the sharp edges off of, and one that is pure stock. I'm saving that for something, but not sure what. The smoothed one does fit in my front or back pocket, as well as riding is any of several (all right, 5) IWB- and OWB-style holsters in leather or kydex.
AMT is out of business, so there is no warranty. Most 'smiths I have asked to look at these say any repair would be possible even though they have never worked on one before. If needed, I suppose I could canabalize for parts from my backup Backup.
I have not done any chronograph work to get fps and from that footpounds, but I can say with certainty that watermelons, pumpkins and bowling pins go down gloriously. OK, I would not expect good groups out more than 7 yards, but everything you listed falls into that category as well.
My point being, there are alternatives you may be overlooking just because they are "used".
stay safe
skidmark