The post specifically says there's not a tool for counting red dots on an image, and there absolutely are. From the side-counts, you still have to extrapolate to a volume, but a specific highlighted sub-problem is well addressed by apps.