DCTs are members of the automated manual transmission family, which you don't normally see in vehicles in the U.S.