IMHO, the "forum" kw is not what it used to be 10-15 years ago... I have moved a couple tech+forum domains in the 2.5 - 5k range... (Strictly my own anecdotal experience - GL with a great "robo" name! )
I understand, I just think of a few names that have been developed throughout the years, that were purchased here at NPs, and the regrets by the owner of the domain names that prospered into very lucrative incomes for the buyer. not having the capital is usually the reasoning, partnership investors can take care of that problem. Any way, Best of luck with your sale!