12k seems like a fair middle of the road price for a paint job these days. My grandparents paid 9k back in 2007 and the car still looks pretty decent but it's becoming more and more apparent that they used a lot of filler.
Really wish they used that 9k towards fixing the rotten wood, brakes, steering etc.. but hey, I've got something to keep me busy now