Suppose $G \subseteq \mathbb{R}^2$ is dense G-delta. Must there (in ZFC) exist non meager sets of reals $A, B$ such that $A \times B \subseteq G$?