The wiki stated 5mm, but I took a risk (and mainly because I didn't really want a gap, and the shop I was at didn't have 5mm in stock), and got 4mm in the end. Just spent the weekend raising the old tiles (around 2/3rds of the way through, and my arms ache).
I got some grey grout in the end. It...