Right on it, Zoobar. And it shouldn't take registrars longer than 40-42 days to turn an expired name into GRP since they will not be getting any refund beyond THEIR OWN 45 days grace period with the registry.
So far, the drop time has been fairly accurate at around 2 p.m. Eastern Time on the 6th day of "PENDINGDELETE" status.