Question about tiptoi charging station D

The charging station is specially designed for 4th generation tiptoi pens. There is no information on whether pens can be charged with a tiptoi cover as long as they are not 4th generation. If the case surrounds the 4th generation pen, it might work, but this is not explicitly confirmed.