.US Domain names can only be bought by US residents, so can an existing .US name be transfered to a non resident??