Ijust saw these factory horns for sale on the Pelican classifieds....A lot less than the $385 that your mechanic wants. It would take about 10 minutes to install.
http://forums.pelicanparts.com/porsche-911-used-parts-sale-wanted/685817-high-low-horns.html