Yes. Passenger vehicle tires treated with tire sealant should be professionally repaired with an RMA approved patch/plug at your earliest convenience. Inform the shop technician that tire sealant is in the tire.