G_\delta\sigma\delta Haar null sets without G_\delta hulls in Z^\omega

We show that in the non-locally-compact abelian Polish group Z^{omega} there exists a Pi^0_4 Haar null set that is not contained in any Pi^0_2 Haar null set. This partially answers a question of M. Elekes and Z. Vidnyu0027anszky.