That’s about what I’m seeing. If the dealer checked the leather box I believe it would have been something like $900 or so more. My understanding is the aftermarket Katzkins leather is actually nicer than factory.