This brings back memories of making ice cream On Fourth of July as a kid. My Mom's recipe was pretty close to the one above.
My Dad would add the ice and salt as needed and we kids would be required to do at least 100 turns on the crank.(there were 8 of us so plenty of cheap labor) We figured out if you get your cranking done in the beginning it is much easier than later as the ice cream gets pretty stiff towards the last coupla hundred cranks.