Worst case they pay quite a premium to renew it. In about two months after it expires. I doubt they'll part with that much beetus money. Most expired domains I've seen are around 1000$ after they're available to the general public.