Go with what you can afford. If they've been holding it for 9 years and not using it, eventually whatever you can afford ( within reason ) will be better than continuing to make nothing off it.
UNLESS they are getting click-through advertising revenue on it, or funneling traffic to another domain of theirs which advertises, or has direct sales on it; then you need to factor that in.
But it's best to be a human being and level with them. Remember, they're people. Really opportunistic people. And, if you can, just give up and get another TLD of the same basic name.