$9 does seem a bit on the high side. But keep in mind that this gun is long out of production and parts are getting harder to find. It's my understanding that the CZ82 and 83 have many compatible parts. Check to see if the CZ83 part is cheaper (unlikely, but you never know).
Better still, just buy a couple more CZ82's and you'll always have a spare.
Best of luck.