東急コインが9999になった後に入手したコインはもしかして自動的に売却される？9999になってたの気づいてなくてずっとやってた。