I have couple of domain names that I've held for several years with intended future use. Recently it was decided, however, that the naming of the product/company will take a different route, and these two domain names won't be needed. Since I think they're decent names, perhaps they would be worth some money. What do you think?

The names in question are:

FARVISION.COM

FARWARE.COM

Thank you for any and all opinions!