Thanks for the spot, Cyrk!

The problem is, KBB and Edmunds price it between $9600 and $10,200. So $13,500 is at least $3500 more than it's worth, even to an enthusiast like me.

Any idea if it belongs to someone on this board?