If she's going to consider secondhand .380's, she might also want to look at the single-action Mustang 1911's from Colt (now out of production), esp. the Plus II in stainless. Loads seven in the magazine and one in the chamber, single-stacker and very good fit to my small hands.
The Plus II in stainless weighs about 16 oz., the slightly larger (same magazine) Government weighs 20 oz. empty. All the stainless guns can shoot hot .380's like Hydra-Shok, Blazer, Fiocchi, and Silvertips -- the "Pocketlite" alloy-frames should only be used with milder ammo. The stainless will eat anything.
There's also a smaller Mustang "purse gun" with a five-round magazine; in stainless it weighs more like 13 oz. The tiny, lightweight "Pocketlites" weigh even less and use the same magazines as their stainless counterparts. But they're .380's and hit a lot harder than Seecamps, Autauga Arms, and Beretta Tomcat .32 ACP backup/purse guns.
I also have an example of an aftermarket magazine that fits the Plus II and Government: it holds 10 rounds and projects beyond the butt of the grip. Call it a "mini-double-stacker".
Smaller 1911.....I have a Colt Defender and a New Agent...they are really a small footprint.
I had 2 Colt Pocketlites but had to sell them for school money. Wish I still had 'em though I'm not a fan of .380.