I am trying to synchronise LEDs flashing with a video being played using a Raspberry Pi 3B+ and the Python wrappers for libVLC. For example, I want the LED to flash red at exactly 2000ms of video playback and green at 5500ms etc.