I did discover that right after I posted. Great instructions!!!
Some observations after doing this yesterday:
A #3 Phillips and a firm grip loosened the throttle body screws just fine. The "wavy washer" fell out and was not discovered until the car had been reassembled. I do notice the idle is now double the 700 rpm listed as normal. And, I also have noticed that others have had higher idle after doing this procedure but no one seems to have offered a solution!
The wavy washer is brass, so if it falls somewhere, a magnet will not retrieve it. And, if I decide to reinstall it, where exactly does it go? Over the magnetized piece on the end of the sensor? BTW, that's why the washer is brass... so the magnetism will not affect it. And, I did something you really should not do but has seemed to work. The oddly-shaped gasket that goes between the ISC valve and the throttle body expanded and would not fit back in its groove, so I carefully cut small pieces out of the longer ends (three cuts, IIRC) and managed to get a tight fit when everything was bolted back together. I'm not too happy with this, but so far, so good. Notice that the new gasket is less than $5, so I may get one just in case.
So, any further thoughts on the elevated idle speed??