I don't think that's the case here. If you look at the whois record, the creation and expiration date is 4/18, so this wasn't a matter of the domain expiring an

I don't think that's the case here. If you look at the whois record, the creation and expiration date is 4/18, so this wasn't a matter of the domain expiring and then being snatched up by a squatter. In other words, it appears that this domain was stolen, and the rightful owner does have recourse in that case. Edit: Their twitter seems to confirm that this was not an expiration problem.