My take is if it is sold by a dealer and the consumer can prove they have been mislead, Australian Consumer Law says they can get a refund plus the reasonable costs of returning the machine. No such law for a private sale though.

On the other hand if someone was going to spend $10 to $14K on a pinball you would assume they know a fair bit about pinball and therefore would check the details of the machine.