1 1/2 teaspoon sea salt (or to taste)

Guacamole for the Masses