On the whole pile of correspondence with HK IRS over a year, resulting in getting a check credit by doing nothing!