Wouldn't it have been easier if you had the trademark rights to get the domain name without forking over the $8k through legal means. I guess you'd still be looking at around $4k for the legal fees but wouldn't that be a better option?
If you lose the dispute, you'll never buy the domain for a reasonable price after that, so it's a really risky move.