Well, thats' an intriguing domain although frankly, I'm unaware of that extension's marketplace and sales
profile to date.
To me, as an outsider to that marketplace, believe the name would be worth a minimum of low to mid $x,xxx as suggested above by Chris Wright.
Hope for you that Bharatwaj's estimate is closer to an eventual selling price if you are selling the name.
An appealing name!