Though title protagonists Lewis Hamilton and Max Verstappen have their best times deleted, it is clear that overnight Red Bull has found the pace it was lacking on Friday.