Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture