Yes, but it also only takes 1 Verstappen retirement to really bring things closer.
I don't disagree that it's a long shot at this point though. If Red Bull can stay in the mix for podiums (and Verstappen is always a threat there) his WDC is pretty safe with the lead he's got now.
Sainz!