ICカード代500円も含まれて、帰りに返却されます。
ですので、9000円でお願いします。
実質は8000円となります。