Normality of the Vietoris power V(ω^ω)

Determine whether the Vietoris power space V(ω^ω) is normal; that is, whether every pair of disjoint closed subsets of V(ω^ω) can be separated by disjoint open neighborhoods.

Background

Beyond basic metrizability and compactness questions, the separation properties of V(ω^ω) remain unsettled. The authors list normality as one of the basic properties they have not been able to verify. Establishing normality (or its failure) would significantly position V(ω^ω) among classical non-metrizable separable Baire spaces (e.g., comparing to the Sorgenfrey line).