I don’t think Hotpoint actually manufacture this model, although Martin may confirm in the morning as I don’t have the relevent info to hand here at home.
It is made by the Indesit Company who own the Hotpoint brand and it’s based on the Indesit Washing machines with the evo 2 controls, so it’s not actually a Hotpoint in the true sense.
You should be able to widen your choice a bit with a £450 budget to be honest 😉
It also has a 3 phase motor and stainless steel outer drum. but as you say 99{e5d1b7155a01ef1f3b9c9968eaba33524ee81600d00d4be2b4d93ac2e58cec2d} of parts listed are COO numbers.