sns,
I can understand race control wanting the race and the season championship to be decided by actual racing, hence the bending of the rules and conventional practice. What they should have done, to be fair to all the drivers, and to conclude the race with a lot of green flag racing to the end, is red flag the race and let everyone pit and get fresh tires. Hamilton would have been in the lead, as he should be, and Verstappen, if he stayed close enough, would have DRS after two laps would have been able to attempt a pass. I think Masi botched the call by not doing this.