Wow, I paid more than that for my Tyros5-61, and that was back in 2014 when $4000 could have bought a good used car!