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.