THANK YOU for your comment, Adam, and the others that took the time to confirm it worked for them. Thankfully I read it before attempting this repair on my iPhone 5S. It took only 10 seconds with a very skinny (<1 mm) screwdriver, scraping the deep edge of the port, and I pulled out a wad of pocket lint that was about the size of a pea when uncompressed. A paperclip would have done the job. Charger works perfectly now.