oh, what happens if the local docker already has that image - @tianon 's comment makes me think it might re-get it

and ``wget`` suggests it would then get a different ``IMAGEID``