I would not have the interior "professionally" cleaned, unless you want it to smell like a Tijuana bordello. The idea is to get the smell out, not to cover it with cheap smelling fragrance that leaves it reeking like a whorehouse rental car. Fragrance could be more bothersome than cigaret smoke.

The smoke smell is trapped in the soft components of the interior. The headliner is the real culprit. Headliners can be easily replaced. The carpets can be shampooed and left to dry. I'd shampoo the headliner too, giving that a try before replacement.

My older El Caminos both had heavy cigaret smell going back for 35 years. I kept the windows down in the garage and just allowed the volatile components of the smoke to offgas. It took a while, but it worked out fine.

I don't like cigaret smoke smell, but I would not let it stop me from purchase. The smell will drop off exponentially, even if you don't do anything, with time and with fresh air and sunshine. You are in the best place in the USA to get rid of car odors as the ambient air pressure is lower and the air is dry.

spider