I second Tony's advice about the ignition tester. One can be made for the cost of the 9V battery (represent 90~95 % of the total price).
As per the Hall effect sensor, I prefer the Siemens HKZ101 because it is way easier to rivet. As far as I know, the specs are identical for both the Siemens and Honeywell so performance wise they should perform the very same.
I've repaired about 10 bean can for friends. The most difficult part is riveting the new sensor in place. In the case of the Honeywell, it is a PITA. Then comes the soldering of the sensor wires on the existing harness and insulating them with shredding tubing sufficiently short and thin not to be caught by the aluminum vane and cut.
It is not rocket science. just need a little precision and good job. So the price tag on these items seems too high for me.
But it's just me ;-)