I personally think that is atad high
Because this market is such a tiny segment of the aftermarket, parts like you are looking for are going to be be somewhat higher than you'd expect simply because no one is producing this stuff in any kind of quantity. There is very little demand, thus very little supply but higher costs.
