quiero saber de alguien que hayan operado de trigemino mediante radiocirugia, cuanto tiempo tardo en notar los efectos y si mejoró