right big toe joint pain

I have a 49 year old friend whose right big toe gives him extreme pain. He wonders if surgery for a condition called "hallux regidus" would relieve his pain and if the surgery would be his best medical course of action.