i would pay around 50 us for one and i would have to say i prefer the first one, les likely to bend or get hooked on something , but i would also have to suggest not anodizing them as that finish wears of quite easily, my suggestion would be to coat them with colored tefflon. As expensive as that sounds, it really is not as you could do about 100 or 150 for about 25 USD at home, if the guy lives in the us if in europe i would guess about twice that if he could not find a supplier in europe. www.brownells.com is one of the largest gunsmithing supply companies in the world, and when i worked building copetition rifles and pistols for people while in university i coated alot of guns with teflon to help aid agianst teather and harh conditions of some of the practical courses. The product is called gunkoat (i belive that is how you spell it) and it is available in white and almost any other color you can think of including hot pink (and yes one woman shooter wanted her 1911 hot pink so you have to keep your customer happy)
anyways just some thoughts trying to help. by the way this tefflon is so tough that the only way you can get it off is to grind it or use aluminium oxide sandpaper.