A friend has recently bought a Vip600 which is very much in need of a thorough service. Does anyone know where he could get this done in the UK? Thanks, Steve