Consider the ring of Laurent polynomials $R := \mathbb{Z}[s,s^{-1}]$ with integer coefficients. Are all projective $R$-modules free? (Let's say left modules by convention.)

More generally, let $G$ be the

**free**group on a finite set $S$ of generators, and consider the integral group ring $R := \mathbb{Z}G$. Are all projective $R$-modules free? Note that in part (1), $S$ was the singleton $\{ s \}$.Is the answer the same if we allow an infinite set $S$ of generators? Note that the group $G$ itself is infinite either way.

I feel like work of Serre, Swan, Bass, Kaplansky, Suslin, Quillen, and others may be relevant, but I couldn't find the answers.

Thank you for your help.