Jizhan Hong has shown that the theory of separably closed valued fields of infinite imperfection degree has quantifier elimination in the language of valued rings together with certain lambda p-coordinate functions. We will elaborate on his proof, and using this result we will prove that the same theory has NIP by counting coheirs.