I am a Realtor, but I do this all the time for clients. It makes a huge difference in the sale price. Realtors know what needs to be done and it is their best interests to take care of you through the selling process. Plus it's fun! 15K is not too much depending on what else is wrong with the property, (or right.)
Some buyers will deduct the pest from their offer, so you may want to consider it in your selling price.