That is plenty for the R2 ramp and the upcoming GA factory that opens in 2028, which will also be home for the R3, which will sell quite well IMO Unless something goes seriously wrong with the R2 launch, I think they'll be more than okay.
To be fair, I'm not too worried about Lucid either yet...