basicaly car was serviced 10k ago, oil is sitting right in the middle of the "ok" part of the dipstick, but wanted to top it up as its got 2k until nxt service, which typre do you think? is it ok to mix diff oils as i dnt know which type they used on the last service. thnx in advance