For what it's worth, I'm about to get some Church Audio mics and I expect they will be an upgrade over the SoundPros.
The Sound Pros are tiny (the size of pencil erasers) and stealthy and good, and since you were on a budget I think they are among the very cheapest tolerable mics.
But since you aren't that worried about stealth, you might be better off getting the Church Audio mics and battery box to start with. The Live Music Archive usually lists the equipment used for the recordings--make your own comparisons.
But there's always something more expensive and better. Welcome to taping.