Amazing the number of tools and accessories to be brought out for a simple task!
I detached the pump from the chassis of the washing machine. Although I imagined it most likely that there was some foreign object stuck in it, this washing machine, likely because it was designed years ago, does not have the easy-to-access pump filter hatch on the front of it for maunal removal of fluff or foreign objects in there that more modern machines have.
Next task was to test the pump's electrical resistance with my multimeter, which showed that it was in fine fettle electrically.
I parted the two halves of the pump and immediately discovered a couple of pieces of material from the outer wash drum that were stuck in the pump's impeller.
The Torx screws securing the two halves of the plastic pump were tight to remove—and I didn't at that time have a suitably large Torx driver. Wanting to get the job done ASAP, I used a non-Torx screwdriver, inevitably somewhat camming the screw heads. Thus, I decided not to use them for fixing the pump halves back together again post repair, but to avail myself of some nuts and bolts from the £5 box of assorted nuts, bolts and washers from Poundland (good ol' Poundland!) that I happened to have bought to hold as sensible DIY stock items.
The most suitably diametered bolts were not quite long enough to pass through the pump halves' flange bosses and leave enough end for their nuts to screw onto, so I had to remove the bosses of the flange of one half of the pump by hand drilling, junior hacksawing, and twisting and nipping with small pliers. The result wasn't a work of art but decent enough structurally. A drilling with a smaller diametered bit slightly widened the former screw holes so they could slide loosely in.
The pump's halves now secured to each other (nuts and bossless flange visible in the two photographs below, bossless flange the lower one, bolt heads securing it), it was then time to reattach the pump to the washing machine's chassis to leave it secured as it was originally.
