Another thing I finally did:
Add LED lights to the Thing-o-Matic.
One of the design flaws of that device is, that everything happens in the shadow of the large Z-stage.
This when printing in black ABS, you can't see what is happening.
With the preparations for PCB milling that was even more unacceptable.
So I got myself some self gluing, cuttable LED strips that operate on 12V and started soldering...