Welcome wny770!
Are you needing a rotary to cut the thick stuff only once? Will you be keeping up with the grass after the first cut? I would go with a 4'er. But if you intend on keeping it cut, maybe you could rent or borrow a rotary for the first cut then look into geting a finish mower. Or does your tz25 already have the mid mount mower?