I just checked Manheim, 4 coupes sold in the last month at auction. Keep in mind that there is an $800 surcharge on top of these prices. So, it looks like the going auction rate is about $52-53k for a coupe with 7k+ miles. That would put retail prices a little higher. I wouldn't trust Ebay auction prices, since most of them seem to be shill bidders.
10/02/08 MANHEIM
Regular $50,000 11,362 Avg YELLOW 10G A Yes
10/14/08 FAAO Lease $51,000 7,557 Avg WHITE 10G 6 Yes
10/02/08 CINCINNA Regular $51,400 11,628 Avg RED 10G 6 Yes
10/23/08 W PALM Regular $53,000 7,127 Above BLUE 10G 6 Yes
This of course doesn't account for stripes, either. These could be solid color vehicles.
So, it's definitely possible you could get a red or blue striped vehicle from a distressed buyer. You might have to wait, but if you're patient it's possible.