When encountering Teredo Tunneling Pseudo-Interface Driver driver problems you must decide whether to fix these yourself (which sometimes get complicated or to use a driver installer, which is easier, but costs around 29.95).