They said to repair old one the Operating System needs re-booting £55 and they recommend another £30 on giving it a dust clean. Good value?