Products of Menger spaces in the Miller model

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.