I've just had the media box for my 433HDE swapped out for the second time, and after the engineer had gone I noticed that PureCinema is grayed out on all inputs. Is this something that might have been disabled from the service menu? Any advice before I phone Barron McCann again?