GMT 11670LN worth it?!

Is €10,500 a reasonable price for that well-worn 116710LN (2012, full set)?