Our group member from the Netherlands has recently made a tooth repair by drilling a couple of holes into the gear and tapping with an appropriate size tap. After inserting a couple of screws, he filed the replacement to approximate the shape and used some "kneadable epoxy" to fill out the tooth.