The registry adds 1 year automatically after expiry (but then registrars can delete, within a 40 day period, to get their $6 back). So, this name might still get deleted, lol.
They dont need to worry about their own expiring domains at their own registrar. Its just a matter of whois database record. They will not send "delete" command and thats all.