How much would replacing Coleman cost? $200 million?