While the buyout is on record, the price they'll pay is still open for discussion. However, I'd need to see some remarkable level of debt reduction to justify paying anything above 7 cents. You just don't buyout on wild multiples, which is why I'm sticking to a reasonable 2x as baseline.