For anyone curious to which ones he would have to his name.
WCC
1-5: Williams (92-94, 96-97)
6: McLaren (98)
7-10: Red Bull (2010-13)
11?: Red Bull (2022?)
WDC
92: Mansell
93: Prost
96: D. Hill
97: J. Villeneuve
98-99: Hakkinen
2010-13: Vettel
2021-22: Verstappen