yeah sounds like a right enough list, the spark plugs i tihnk w5dpo's are always used, but be careful, i got mine from andrew pages, but GSF do them, the first set i got from GSF, i put in car, it ran for all of 15 miles, and then wouldnt start.
i checked everything, wasted a whole day, and then thought i would swap the plugs, and it worked
all 4 plugs were faulty, just stopped working.
Took them back and gsf were "ive never heard of this before"
im like yeah no shit, but its happened.
So not that related but be aware lol
I also like to remove the boost pipes and just check for dirt grime ext on the walls, if you have the boost return mod then even more so
rocker cover gasket i like to do service time aswell, as they do shrink and you get that leaky stain on the front, also be aware gsf dont do g40 rocker cover gaskets, they do differ from other mk3 engines...