It may be some time before Tomar gets their domain name back...if ever. There are companies out there that constantly scan the internet looking for expired domains. When a name expires, they snap it up within seconds of its expiration. When the original domain name holder tries to get "his" domain name back, they end up paying a hefty premium to get it back. It may not be ethical, but it is legal.
Some years ago I tried to help a friend of mine who lost his company domain name for this very same reason. He never did get it back. The company that owned it wanted $25,000 for it. That was far beyond what my friend could justify or afford.
I am responsible for somewhere around 40 internet domain names for various web clients. They are ALL set on AUTOMATIC RENEWAL. It is one less thing to worry about and it makes sure the domains NEVER get out of my control. I get an email when a domain renews and then I bill the client for the renewal. I am shocked that this kind of protection was not in place for Tomar.