I agree with Hondaguy, don't skimp on the plugs. But your mechanic
appears to be packing the price of the plugs, should be around $18.00
each from the dealer. Buy them on your own, then have him install them.
I'm all for shops making a profit off of parts, but a legit repair shop
will get 15% to 25% off of msrp. Anything above that is packing.