Let $\omega+1$ be endowed with the interval topology, that is $U\subseteq (\omega+1)$ is open if $U\subseteq\omega$ or $(\omega+1)\setminus U$ is finite. We call $U\subseteq (\omega+1)$ *basic* if either $U = \{n\}$ for some $n\in \omega$ or if $U = (\omega+1)\setminus m$ for some $m\in \omega$. (Don't confuse this with $(\omega+1)\setminus\{m\}$: I use the fact that $m=\emptyset$ or $m=\{0,\ldots, m-1\}$ for $m\in\omega\setminus\{\emptyset\}$.)

Endow $(\omega+1)^\omega$ with the box topology. We call a subset $B\subseteq (\omega+1)^\omega$ *basic* if $B = \prod_{n\in\omega} U_n$ with $U_n\subseteq (\omega+1)$ is basic for every $n\in \omega$.

Suppose $\mathcal{C}$ is a covering of $(\omega+1)^\omega$ by basic sets. Can $\mathcal{C}$ be refined to a covering by basic sets that are mutually disjoint?