0.15 BTC... and I wouldn't say its a PREMIUM domain, Just a nice name.
It really isn't worth that much... Seriously, I buy domains on a regular basis and know a lot about this industry, You will be lucky to get more than 0.2 for it.
its almost 2015 your are not gonna get a domain like this now because all good domains already taken its PREMIUM domain