Statistics for Happy Tanker