Why don't you do what the electricians suggest? The horn obviously works, so it's a problem in the wiring or the switch. The easiest thing to do at this point would be to sandpaper the contacts, as the guy suggests.