If higher-mileage car has been running dino oil for a while, then sometimes a switch to synthetic can cause it to start leaking.

With that kind of mileage and an unsure maintenance history, I would run Valvoline MaxLife.