On Thu, 20 May 2021, David Collins wrote: > Orange based cleaners are also good - the ones that remove stickers etc That will dissolve plastics! Don't use orange based cleaners. I just use normal 97% ethanol (called Spiritus here). That will work just fine. Christian