But is that the one they'd normally use? Bottas has 4 engines in his 'pool', Hamilton 3. I completely lost track which spec has been used where, but I'm sure there should at least be another engine he could use? Assuming of course the Brazil one has run its course. But I think the issue in Brazil was exhaust manifold leading to higher engine temperatures?