So just to be clear, the TTP office at NRT is post-security (but before passport control) as the landside office is currently closed? And at HND there are offices both landside and post-security (but before passport control). Hence, getting the TTP card can only be done once somebody is in Japan (either leaving or just arrived once landside)? So the issue of the revenue stamps is moot, as they can be purchased at the combini at the airports?