While you are at it, have the shop give you a price to replace all of the seat padding at once, when they repair the upholstery. Trust me, they need it and you and your butt will be happier when it's done correctly. Not to mention the passenger butt as well.