They no longer had it (woohoo!). I check the whois information and it says that it is available (woohoo!) but when I try to register it with my registrar, it says it is not available (eh?). OK, no biggie, so I check the drop auction / backorder sites and none of them have it.
Is this normal for a newly expired / deleted domain? Should I wait longer or is it possible that an auction site has picked it up already?