Is the above the correct procedure for re-staining, or are they supposed to
strip off ALL of the old stain before applying new stain?

The only way to get ALL of the old stain off would be to take
the siding with it.