Just a quick thanks for this post - I've just repaired my broken switch, a simple case of applying some epoxy glue to a broken switch lever - a welcome saving.