Definitely, it's an absurdly low amount for an important domain name, but at the same time they could probably win it in court without much trouble, I'd think.
It would cost them thousands of dollars to win the domain in court. Which means he can probably get ... thousands of dollars from them instead of an insulting $250.
Maybe he should sell it on SitePoint? (the PR comes free!)