Marin Stinson vs Kentfield vs Jamis Allegro A3 | Which bike?

First bike in a long time. I narrowed it down to these options after trying out bikes at my LBS:

1. Marin Stinson (2019, used, Step-through) – $200
2. Marin Kentfield (new, Step-through) – $499
3. Jamis Allegro A3 (new, Step-over) – $499

Preferences:
Budget: below $550
Height: 5' 6"
Usage: casual riding around neighborhood, paved trails, maybe commute to work once in a while (~7 miles)
Riding position: upright riding position (similar to what Marin Kentfield offered vs Marin Fairfax)
Style: Step-through/low step/step-over
Country: USA