There is a lot more to the magnetic dent removal than one would think. A great deal of damage can by done using the wrong size magnet with the wrong technique---both to the instrument and to the repairman. I would advise taking it to an experienced tech who has the proper tools and know how. You could save some money by taking the keys off yourself. Maybe he would even let you watch how it is done.
John
John