I've tried to work around this by modifying the ThreadingInstrumentor to cover Timer as well, but this leads to other complications as Timer has a more complex implementation than Thread. It would be ...