It's from a dealer so I'd say $12k on the high side.