That seems a little on the low side, obviously you said depending on options.
I ran it on KBB.com and with the options
suggested retail is $22,600,
Trade in value is $17,350
and private party value is $19,925
That seems a little more realistic, the car is in excellent condition.
And...