Any idea for how much € would this Casio CTK-3500 go for? : r/synthesizers