New shocks would definitely cost more than what mechanic has quoted, however you may find used ones in under 5k.
I suggest if you plan to keep the car, replace them with new ones.
0321-4218545 : Honda House. He'll have the best price for new honda genuine spares.
0300-4298985 : Nadeem. He'll have the best price for used honda spares.