Instrumentaal Ensemble van het Amsterdams Marionetten Theater, Vaughan Schlepp, Joost van der Linden, Jan Polak & Koor van het Amsterdams Marionetten Theater