I have seen a lot of numberphile's videos but not this one! Thanks for the link.

I'm pretty sure my flatmate told me the story and he watches numberphile too so you're almost certainly right either way :P