2.5 lbs. · russet potatoes ; 1/2 tsp salt (to salt the boiling water) ; 4 Tbsp · butter ; 1/2 cup · whole milk ; 1/2 tsp salt (or to taste) ...