Well one needs to figure the domain status at the time. Registrars may change NS on domain
expiry and monetize it. But the domain is technically auto-renewed at the Registry and the Registrar has time until 45th day to explicitly Delete the domain to slip in to Redemption Period (otherwise renewal is confirmed at Registry, even if Registrar is not obliged to let the owner use it, if not ...