Everything I quote in my posts comes directly from the Ford Service DVD. It's an older one.
I never, ever, ever use aftermarket manuals. Some people like them, but I think once they use a factory manual, they'll never go back. I also thought it interesting that Ford recommended different plugs for the left and right banks, too.