There's this .US domain name which I am keeping an eye out for...

Its currently passed its expiry date but the registry status still says ok and it still seems to be working

Domain Status: ok

Created by Registrar: ALLDOMAINS.COM INC.
Last Updated by Registrar: BATCHCSR
Domain Registration Date: Wed Apr 24 15:25:53 GMT+00:00 2002
Domain Expiration Date: Sat Apr 23 23:59:59 GMT+00:00 2005
Domain Last Updated Date: Sat Apr 24 02:48:38 GMT+00:00 2004
Does anyone have any idea when this domain will be deleted and/or become available??