Optional
How lucky they are that a "friendly" renewed the domain for them. Imagine it had been someone else and they refused to give it back. Even if they eventually got it back through the courts it would be too long before they would have had to change the domain anyway.