Det är ju bara att titta på
http://www.linux.com/ och se dess page rank för att förstå att domänen har ett värde.
Linux.com är ju tom Adsense premium publisher.
Lägg ut domänen för runt 150 000 sedo, jag är övertygad om att du får minst 100 000 för den, dock 500 000 för en se domän tror jag är för mycket.