For Media Source, it is possible to set separate hotkeys for play and pause, whereas for VLC Source, play/pause is one hotkey. VLC itself has a "play only hotkey" and this would be very handy for my needs, hopefully its not a difficult implementation.