buzzbarnes

I have just had my RX8 R3 serviced at 5000 km, The query I have is they used Mobil S 10W 40 which is semi synthetic. But I do recall when I went to another garage to top up the oil they used Mobil super 1000 which I believe is non synthetic.
I know there is many other posts on similar topics but any advice would be appreciated.
I live in South East Asia is the weather is of any relevance