Any chance your colleague has a YouTube channel and is named "Matt Parker" https://www.youtube.com/watch?v=UBX2QQHlQ_I ?