Yes, they really were $40k in 83, I've seen the window stickers. And there weren't that many options in NA. I believe the Deutsche Mark exchange rate was the reason they were so high at that time.