All in all....honestly, it comes down to what it's worth to you.
I ran the #'s for my area on the east coast and here is Edmunds & KBB values.
It appears on the upper echelon of what they consider fair market range.
I watched 2 x 10' RTL's w/ Nav; under 40k miles sit on carsdotcom for 3 months before they sold.
They were listed for $21,900, but it was during the summer and a buyers market. Now is a sellers market so expect to pay more.
If it was me and I wanted it, I would get it. It's not like they are making them anymore...lol.