just wondering, are there traders in US options markets in HongKong or even Edinburgh, UK?