If it was my car, I'd drop the oil. Our engines aren't notorious for sludge, but if anything is gonna help it along 2 different types of oil will.
I don't think the risk is too big if they were both fully synth but better safe than sorry. When is the next change due?
Sent from my iPhone using Tapatalk