Yes, the initial move was overdone, as you say. It will likely go back to $16 or so, maybe a little lower. But the deal is good for WDC, IMO.