It was $85 =/ Not cheap, but I've called a few places in the area, and they were all charging around $85 per hour. I am guessing the guy spent more than an hour, but he was very nice. It's worth it though--just for the experience and of course to get this beautiful keyboard fixed up.
Meeting with an anodizing person tomorrow morning. Need to urgently decide how to properly fill the corner dents. Anodizing could be around $40, which is not too bad. At least that's what I was quoted by phone. I would not be surprised if they say it will be more because of X, Y, Z when I get there, in which case I may need to wait a bit. Oh they also do hard anodizing and some other interesting finishes, but doesn't look like they use any interesting colors for those, other than standard gray / pewter varieties. So we'll see--I'd probably go for the basic kind in a teal color.