What was the sale price of Marvel?