Yep that's what I thought for a bit of plastic, but as the insurance is paying for it I don't really care. The price I was quoted was by a VX dealer, independent body shop and through a parts supplier for a genuine VX part.
One point to note I was told by 2 body shops that the black plastic bits never look right if you have them repaired and painted using the acrylic repair system, it's something to do with the moulds used at the factory and not being able to get the exact pattern match. Most Korean cars appear to use this method as a way of keeping costs down in the finishing process.