13:14:12 <garth> P2pool plus p2pmini have a combined 500 miners. Impressive!