  We prove that in the Miller model the Menger property is preserved by finite
products of metrizable spaces. This answers several open questions and gives
another instance of the interplay between classical forcing posets with fusion
and combinatorial covering properties in topology.
