We observed that professional pool plasterers use a 6-bag gasoline-powered mortar mixer mounted on a truck or towed behind a vehicle. This is a large machine which uses rubber-edged paddles to stir against a cylindrical tub, breaking up lumps. Delivery of the wet plaster to the pool is by...