I got a set of “keychain lights” from Sofirn / 77Outdoor for ~10bux (4pak) that work nicely. Ring of COB LEDs, high/low/strobe/off, lock-shaped, would hook onto any loop/ring on the collar.

Barry @ Sofirn posted an Amazon link with code recently, forgot what thread.