How much does filing a lawsuit cost, along with the associated attorneys fees? Probably a whole lot more than a few thousand dollars.
The so-called purchaser files a motion with the registrar, registrar reviews, and takes your domain. This is all before the courts get involved. No attorney fees or court costs required.