Extract random frames from video file in Python

I'm trying to randomly extract a specific number of video frames (n=4) and convert them to images from a video file (mp4, mkv, mov or avi). Would appreciate any suggestions. Thanks!