Having come across them in Japan many times, they can get as big as 10 cm across. Slightly less than a hand, but still extremely distressing when you run face-first into one.
Some jerk is going to bring spiders and it will turn out that they're perfectly adapted to the Martian environment and it will just become the spider planet.