Bodyshop #2....
I would think that a killer paint job and minimal body work could be had in the 5K range, but who knows? If this shop promises you perfection and starts WORKING ON IT right away, then maybe you should go for it. You said it best John, you KNOW your car! Come join the 20K club!