I would go with 12mm, anything much less is liable to bend if you hit a brick or whatever as you're whacking it in. You probably know, but it comes in 3m lengths.
12mm, anything much less is liable to bend if you hit a brick
If you hit anything stout enough to bend #3(US)/#10(Metric)/⅜"/9.5mm rebar, you'd be better off moving to one side of it than trying to plough through it with #4
I would go with 12mm, anything much less is liable to bend if you hit a brick or whatever as you're whacking it in. You probably know, but it comes in 3m lengths.