I don't know the going rate on those, but I would be looking at the over 40 hp model with the bigger frame. I paid just under 20 for my boomer 35 back in 2013 and I regret not getting the larger machine.
Curious, what are they offering in trade for your boomer 25?