You should use OBS if you don't want the lag, I'ver never had any lag when I streamed with OBS so far and it'S also free
If he has an SSD, I would suggest recording with OBS Studio onto the SSD with minimal compression. I too experienced the same "recording lag", and this was how I got rid of it.