It isn't really "their" domain. They not only failed to renew it, but they also failed to contest it when it was in suspended status. They have at least 14 day

It isn't really "their" domain. They not only failed to renew it, but they also failed to contest it when it was in suspended status. They have at least 14 days to save "their" domain and then it entered the general pool and became someone else's domain entirely.