Service Manual Instructions for Philips El 3558