Especially considering nobody knows the value of the RIO contract. Would not be a great time to be selling if it's a big one.