Also, if that shop wasn't able to diagnose that as the issue, I wouldn't go back to them ever again. That is why I do all my own maintenance... Probably was pretty expensive for them to replace the valve cover seal which is a $7 part you can replace yourself in about 10 mins.