Thinking more about this whole situation, does it really matter much if he stays or leaves right now? New signings are registered, we don't need to register Kun until November but will apparently be able to do that when Alba, Busi and Roberto will take pay cuts (which they're close to do) and we also won't bring more new players. Koeman won't play him (unless he won't have another choice) so just let him enjoy his retirement in the stands. We're pretty much fu*** until 2023 when all remaining amigos will hopefully be gone anyway.