I had a similar situation. I'm the proud owner of my Grandpas Colt Junior .25. I've had it for probably 10 years. It shoots great! I don't shoot it a lot but I have put a few hundred+ rounds through it with absolutely no malfunctions. It surprisingly shoots very accurate. I can cut the bullseye out at 7 yards no problem. 12 yards and into the black of say a paper plate size target is no problem. The accuracy is similar to a Kel Tec P3AT.
I looked it up once and found the details of it but I can't remember them right now. I know it was made in Spain. Maybe mid 40's. Or maybe even the 60's. I can't remember right now. It's a good gun though and if you decide to pick that one you won't be dissapointed.