For some folks that might wonder in here with a slightly high idle:
I just did the valve cover gaskets. Got everything back in place, had a high (1200-1300) idle when in park, with ac off. Before the gasket job, this was usually in the 700-900 range.
After watching a bunch of videos...
