i have spotted two.
one is the one previously mentioned. the other is burgundy with charcoal interior with 68k one owner, 16500$, i dont know much about the service of the Red car. it is very clean and closer to NC than the other one. there is a 3000$ difference in these cars. the more expensive car has had a lot recent maintenance (or repairs). not sure what to do.