The ownership counter has been never updated since circa 2008 [1], and there has been a 2-for-1 stock split in 2014 so they actually own (819 * 2) stocks * 2228.55 USD per stock ~= 3.65 million USD today.
[1] https://web.archive.org/web/20080814021128/http://www.gwei.o...