DY – I think that many people who are makpid on cholov yisrael do so as a chumra. It’s not just that they hold by Rav Moshe zatsal m’ikar hadin; their being machmir is also based on Rav Moshe zatsal, since R’ Moshe poskened that one should be machmir when chalav yisrael is available.
Since their being machmir is based on R’Moshe & R’Moshe held that chalav stam is kosher, it would seem that they shouldn’t have to worry about the keilim.
Additionally, when I had sheilah recently about eating in people’s homes who use unreliable hashgachos, I was told that if it’s aino ben yomo, it’s fine. So that logic should apply here as well.
I believe that Lubavitchers hold that chalav stam is completely assur (chalav akum), so it more of a problem for them. Although, perhaps the last point would still apply (if the keilim are in fact “aino ben yomo”)