Well, the starting price is exactly the same at the moment 🙂 both have an air manager included.
The question I was asking myself is if the repairs will be needed if It is only used for hobby printing, not very large volumes nor quantities. But the repairs you are talking of are concerning the printer cores?
Is the quality difference that big?
Now I'm thinking if buying them all 3 and reselling them in the community.
Could you say something about the machines when you have a serial code? For ex the build year/revision?