@James M. Martin: err, actually his name is just plain Randal Howard Paul and he was called Randy when he…