Seems like a really good question to me! I'd guess there's some one-time stuff involved, so the replacement won't cost $200 million, but it won't be a whole lot cheaper. My totally uninformed random guess would be something like $100-150 million for the second one. Maybe more, it could be that the one-time stuff is already amortized across multiple satellites.