If only he 3x shorted he would be up to 3 mill, enough to retire the family.