Yep that looks right to me. Those are the tools that I use, minus the HCW-4 tool. Usually I use an adjustable crescent wrench on the right (when sitting on the bike) fixed cup. However, the HCW-4 is made for the job and probably works better. Guess, I better buy it

Just remember that the right cup is usually left threaded. Its a good idea to check. You will be wrenching real hard with no success if you try the other way. Made that mistake before.

And take a look at Sheldon Brown if you haven't already.

For info about left threaded bike parts