what year/vehicle/ is it? what OCI did it have? if he just had it serviced somewhere. I bet he just had dino oil. At this point any miles you get out of this vehicle are freebies, I would just use any name brand dino 10w30 in your climate for Oakland, CA and monitor the oil level.