In the "Ricky Gervais Live" DVD's, Ricky Gervais appears live