The 1st one.
Is a 12 series. If it were closer I'd be on it! Unfortunately, it's far from me. Definitely get it Neil! There are other members here with repair information on these, but they tend to do a very good job, and fast. They lack and internal water heating capability though, so for best performance either crank your water heater up all the way or have a small booster heater near the machine.
Dave