Hi James
5w30 should be fine -- that's what I use as well and the manual
recommends it.
I wonder if he used 0W30 synthetic or something like that, since he
used a good filter.
Does the car crank slower than before?

Regards,
Remco