Thanks for all the answers and sorry about a silly question. I have also figured out that it can be proved using the usual complete metric on the usual (countable product) Hilbert cube and finite $\epsilon$-nets.

Update: I think finite $\epsilon$-nets even explicitly chosen only give countable compactness.