野菜の殺菌について

生野菜を提供するときにはピューラックスsで殺菌をしますが、そのすすぎ方についての質問です。
10分つけた後、「5分間流水ですすぐ」と言う調理員さんいます。以前働いていた学校給食ではそう教えられたそうで、「よくすすぐ」を具体化したのかな？と思ったりもするのですが、そこまでのすすぎが必要なのでしょうか？流水で普通に"よくすすぐ"のでは不十分なのでしょうか？
皆さんの施設ではどうされていますか？
よろしくお願いします