Not very sure about but I wasnt able to run menu screen in vanilla and it was very laggy as well and AFAIK reinstalling windows media player should solve it it at least solved for me.