Tiny plugin that provides the total download count for a given theme using a shortcode:
[[thcount name=garland-revisited]] would provide [thcount name=garland-revisited]

Here is the source: theme-count.php