I take it SoInLineman stands for "Southern Indiana Lineman". Due to your stated age, occupation and location you don't happen to have an aunt whose initials are P.B. do you? If so, small world for sure.
Used prices are high right now due to the shortages of new stuff. Good late model low hour pre emissions tractors bring a premium for the fact they don't have the emissions stuff on them. Definitely sellers market on both of those.
With inflation on the horizon I have no qualms about advising someone in your position to finance a new one right now. The
L2501 mentioned would be a good options size wise to consider.
Kioti I'd recommend CK2610 HST - (they are doing 0% for 84 months right now)
CK2610 HST Compact Tractor - Engine Gross Power: 24.5 hp (18.2 kW); PTO Type: Live; Transmission Type: Hydrostatic; Shuttle: Dry Single Stage
www.kioti.com
Kubota
L2501 HST 4wd - (they are doing 0% for 84 months right now)
Browse through Kubota's Standard L Series Compact tractor inventory, filter search by features to find the best fit for you, or even build your own. Then find a dealer close by with your desired product!
www.kubotausa.com
Instead of trying to mow the manicured part of your lawn with your tractor I'd suggest skipping getting a mid mount mower or finish mower and put that money towards a decent zero turn lawn mower and get a rotary cutter / bush hog for the tractor for your rough cutting. There are plenty of value brand / light to mid duty 4' and 5' rotary cutters that would last you fine as long as you're not trying to mow up trees / big rocks with them. Cutting 7 acres of mostly grass / light brush a few times a year a value line cutter would last you a lifetime if you take reasonable care of it and don't let it rust out leaving wet grass piled up on it year round.