This is a US car. It is a 6 speed, but has almost all other options. I did a lot of research (edmunds, KBB, the pricing thread here, and clearbook). All seemed to point to a price around $48k or $49k. They have it listed crazy-high, but pretty quickly came down to $52,500.
I think I'll pass and keep looking, but I told them that I would take it for anything under $50k.