Motivated by [this](https://mathoverflow.net/questions/385712/units-in-the-group-ring-over-fours-group-after-gardam) question, it seems natural to ask the following:

**Question 1:** Assume $G$ is a [finitely generated discrete] virtually Abelian group. Let $R = \mathbb{F}_2[G]$ be its [group ring](https://en.wikipedia.org/wiki/Group_ring) over $\mathbb{F}_2$. Look at the multiplicative monoid of $R$. Is this monoid [right-]amenable?

(Amenable here means the existence of an invariant mean i.e. an element $\mu$ in the dual of $\ell^\infty(M)$ so that $\mu$ is invariant under the translation action of the monoid; I don't actually care if it's right or left amenable, but it only needs to be one of both.)

The question whose status I would actually like to know (and which has a higher chance of attracting a negative answer) is :

**Question 2:** Assume $G$ is a [finitely generated discrete] amenable group. Let $R = K[G]$ be the group ring for some finite field $K$. Look at the multiplicative monoid of $R$. Is this monoid [right-]amenable?

Lastly one could also replace the base ring $K$ by $\mathbb{Z}$. I stumbled on this question while trying to give a *tentative* [positive] answer over [there](https://mathoverflow.net/questions/385712/units-in-the-group-ring-over-fours-group-after-gardam/386261#386261), but it seems these questions should have been settled long ago. Or maybe the answer to this question (for some group) has an implication to an open problem? In any case, it would be nice to have the status of this (probably?) well-studied question.

This [thesis](https://eprints.utas.edu.au/18589/1/Whole-Deprez-thesis.pdf) gives a good overview of amenability for semigroups (and hence monoids). Note that if the group $G$ is Abelian, then the multiplicative monoid of $K[G]$ is also Abelian and hence amenable (result which goes back to Day or Markov/Kakutani).

PS: I'm hitting lots of pay-walls when going through references, so apologies for not being able to complete the history check.