Jenson already wisely cashed out a lot of his holdings a while ago