Were the TF701 & TF700 both known as k00c?