Yep, 1DS III was $8000 at release and for the first few months.
Do you know how long it took before it took to come down a bit? And do you remember what it came down to?
It came down pretty fast actually, because of the 5D Mark II. I remember it retailing when the 5D2 was new for $6899, then $5999, then $4999, until the used prices went under $4k when there weren't any new ones anymore.
I don't ever remember seeing the 1DsIII retail new for $5K...