Hello Char3106, Welcome to the Forum!
In addition to the suggestions you've received, I'll make a couple more;
The Pentax M 100mm f/4.0 Macro. This is a manual focus, manual aperture (green button) lens, so it requires a bit more work from the user. However, the results are very good, just ask anyone who's used it. This is a 1:2 macro, not a "True" 1:1. Prices range from $100-$150 USD.
The Pentax FA 100mm f/3.5 Macro. An auto-focus, auto aperture (capable) 1:2 Macro, It's a 1/2 stop slower than the highly-regarded f/2.8 version and lacks focus-lock. Otherwise a very good macro and short telephoto. About $150 used, several hundred $$ less than the f/2.8 version. Samples here;
https://www.pentaxforums.com/forums/lens-sample-photo-archive/209514-fa-100mm-f-3-5-macro.html
Both are good starter macro lenses.
JMO,
Ron