one of those great domain names but hard to place a price on.
Obviously, the dev potential is huge but you are looking for a price.
With the little research that I did, I would say $1-3K depending on who buys it.
Don't underestimate the value of this name. I would keep it and sell later.
Witht he growth rate of linux, I would not be surprised If this .com wont be in the highlights a couple of years from now, and you can quote me on that