plus, again, some Australian results from earlier years of this decade and the Gulf 12 Hours results of 2017