After a 5-year follow-up, would you repair the mitral valve or replace it?