You're right, 6.001 is a required course within the major. I'm not citing its internal popularity, really (although folks love the class). A number of other universities have similar courses offered, whereas I haven't heard of any other 6.171-like classes.