That is way more than what I paid for my then 560 SEL.
Again, like to make a comparison. the most expensive piano we got is a $800 used upright. Our DD used that to get into, as one of the two pianolists, the state Governer school of art.
I think my son dropped piano just about the same age as your boy.