The answer is already no for $\mathbb{Z}$, assuming the question is whether this holds for every meaure. Let $n\in\mathbb{N}$, and let
$$
S \,=\, \{(a_1,\ldots,a_n)\in\mathbb{Z}^n \mid \gcd(a_1,\ldots,a_n)=1\}.
$$
I will demonstrate a Følner sequence in $\mathbb{Z}^n$ that does not intersect $S$, which leads to a translation-invariant, finitely additive probability measure $\mu$ on $\mathbb{Z}^n$ for which $\mu(S) = 0$.

The idea is that there are large cubes in $\mathbb{Z}^n$ that do not intersect $S$. Specifically, define a **$\boldsymbol{k}$-cube** in $\mathbb{Z}^n$ to be any product of the form
$$
A_1 \times \cdots \times A_n
$$
where each $A_i$ is a set of $k$ consecutive integers. I claim that for each $k\in\mathbb{N}$ there exists a $k$-cube $C_k$ in $\mathbb{Z}^n$ so that $C_k\cap S = \emptyset$. Then $\{C_k\}$ is a Følner sequence in $\mathbb{Z}^n$, and
$$
\liminf_{k\to\infty} \frac{|C_k\cap S|}{|C_k|} \,=\, 0.
$$

To prove that the $k$-cubes $C_k$ exist, let $k\in\mathbb{N}$, let $\mathcal{I} = \{1,\ldots,k\}^n$, and choose a family
$$
\{p_{(i_1,\ldots,i_n)}\}_{(i_1,\ldots,i_n)\in\mathcal{I}}
$$
of $k^n$ distinct primes. By the Chinese remainder theorem, there exists a tuple $(c_1,\ldots,c_n)$ of integers so that
$$
c_j \equiv -i_j\pmod{p_{(i_1,\ldots,i_n)}}
$$
for each $(i_1,\ldots,i_n) \in\mathcal{I}$ and each $j\in\{1,\ldots,n\}$. Then
$$
C_k \,=\, (c_1,\ldots,c_n) + \mathcal{I}
$$
is a $k$-cube in $\mathbb{Z}^n$ that does not intersect $S$, since
$$
p_{(i_1,\ldots,i_n)}\;\bigl|\; \gcd(c_1+i_1,\ldots,c_n+i_n)
$$
for each $(i_1,\ldots,i_n) \in \mathcal{I}$.

**Edit:** This technique can also be used to show that there exists a Følner sequence $\{F_k\}$ in $\mathbb{Z}$ itself so that for all $n\in\mathbb{N}$
$$
\liminf_{k\to\infty} \frac{|\{\text{generating $n$-tuples}\}\cap F_k^n|}{|F_k^n|} = 0.
$$
Specifically, we can let each $F_k$ be a disjoint union
$$
F_k \,=\, A_{k,1} \uplus A_{k,2} \uplus \cdots \uplus A_{k,k}
$$
where each $A_{j,k}$ is a set of $k$ consecutive integers, and these sets are chosen to have the property that $\gcd(a_1,\ldots,a_k)\ne 1$ for all $(a_1,\ldots,a_k)\in A_{k,1}\times\cdots\times A_{k,k}$. If we fix $n$, then the probability that a randomly chosen element of $F_k^n$ has two coordinates from the same $A_{j,k}$ goes to $0$ as $k\to\infty$, and thus a randomly chosen element of $F_k^n$ has a high probability of not generating $\mathbb{Z}^n$.

2more comments