Na man just give 'em a good boil for an hour, poke 'em and when they're soft they're ready to mash. Then, like you said, you can add milk butter and salt. I just use salted butter in my mashed potaters