Yes, I am sure of that time.
However, the whois database may not update so quickly, some times it takes 24 hours after the name drops is normal. What I do is to check different whois companies and, after that time, even with the whois saying still PENDING DELETE, if I really want it I try to register in a couple of different registrars. I got lucky a couple of times, maybe you can be too, but it is more luck than expertise or possesion of technological resources, that btw i do not have. Good Luck!