I seriously doubt there’s going to be a sampling bottleneck in this application. So why not try 16 samples per pixel?