$10,000 dollars for a domain seems a bit much by itself. When you add the factor that you should have right to it and it was basically stolen.. there's no way they should pay that.