So HT, if you're anything like me, every opinion is a valuable resource even if not pertinent to your situation. The reason is , every opinion leads you closer and closer to a decision based on your needs.
You are at a price point. You know the size of your operation. You know what you'd like to do w your tractor. So you ask questions and get all kinds of answers but every contribution gets sifted down to when you finally hit upon YOUR answer.
Brand is meaningless to me. Color just as non pertinent.
Usage should depend on your size of operation and so should your size tractor.
No one brand is gonna do a simple task better than another.
One size tractor will however.
HP is pertinent to size of implement and in your case :cutting. So depends on how fast you wanna do this. More hp does this faster mostly because you're able to use larger or wider in this case.
As you are not pulling or pushing or lifting much, weight is not as pertinent for you.
Any tractor in the 25-40 hp rating will do what you want either slower or faster.
Because I work for a Mahindra dealership, I do know that your 25K will buy a brand new 1626 that set up with front end loader and weighted tires, can approach 4000 lbs and lift 1550 lbs for loader and close to 2400 lbs with 3 point.
This tractor is made in Japan by Mitsubishi and has an excellent track record.
Also, DO NOT consider this brand unless you have a dealership close by.
I have the old number one of these (3016) and have no trouble with a 6' brush cutter. If you let your grass get to 2 ft high, then I'd suggest a 5 footer.