Pump
Hello Lance, a small pump from a modern washer or drain pump from a dishwasher would work, you can buy them new off eBay but if your local recycling centre / tip has a collection of old washers waiting to be crushed try asking the foreman if you can dismantle one and take out the pump I paid about £5 for one which they were delighted with. Some tips have stopped you buying the rubbish now tho. You need a one of a older hotpoint or Hoover ideally ones without a front filter as these tend to be a filter pump unit . They are normally a sealed unit and very reliable. A plastic mount would screw to the inside of the washer and then it's only 2 wires (pos earth one as well) the only trouble may be the pipe sizes. Modern pumps are designed for the horrid grey plastic tube as an outlet and a fatter one from the drum. I'm not sure how you want to drain the machine ie straight from the new pump via a new plastic tube through a hole in the cabinet or pump it back to the tub ( I'm assuming it did that ) you may need to replace more pipework. Car accessory shops sell heater hoses in different diameters in metre lengths etc for trucks busses etc I got some at halfords.. To connect a large diameter to a smaller one I've even used a small circular shampoo bottle cut in half , one pipe on the screw thread where the top went one one the bottom, lots of bostik and some jubilee clips. If you do get a pump from an old auto washer collect the black rubber pipe from the drum as well as at least it will fit the pump and you may be able to marry the original hose to it. If the original pump doesnt leak the water could flow through that first if sizes make it easier
Good luck you have some beautiful machines
Richard