For folks in the US, I came across a listing in my area (DC/Virginia) for a used 2016 manual with 2K miles. Asking price is $8449 (if I didn't buy mine brand new last year I'd be all over this). I don't know the owner, but seems like it would be a good deal for someone.