I was an early buyer of the 1984 CRX. This was an $6000 car back in the day and the Honda dealers were padding $2000 onto the price back then. So, correcting for inflation (and my vaguely remembered numbers from 1984) I’d say that a $5K markup would be business as usual.