Any United States-based or -listed casino operators that might wish to be investors in Thailand, are covered by the U.S.