One thing to keep in mind is the price at which Buffet invested. I vaguely remember they he invested at about $70 per share (I may be wrong. Just going by memory here). This means there are a lot of buffer room for correction at current price of around $250.