You mention you don't need the name, they're offering you xx,xxx, if it were me I'd just sell it. That's 25K more in your pocket for something that you don't need and cost you much less to register. Take that 25K and invest in other domains if you wish, or take it and invest in another industry... or buy a new Porsche, whatever you want to do with it (myself I like to keep money flowing), but seriously if that were me I don't care how much is in my bank account, when someone offers me XX,XXX for something that cost me XX, and to any other person it isn't more valuable than XXX, I'm going to take it. I'd honestly, if you don't hear back from them in 1-2 days, just tell them you'd take 25K and call it a day. If their lawyers are good enough, and the judge isn't the brightest and doesn't follow the applicable laws (well, if that wasn't the case, there wouldn't be any judges anyway), you can wind up in the negatives with legal fees, etc. It ultimately depends on the judge, not the law.
Just my personal take on it.