All of the planets are something like 20 km diameter IIRC, so [1] is very much a thing. They're annoyingly big to walk around, but tiny compared to earth's moon.