[@pandapolio]
The average stormtrooper count is compiled into the data you have loaded into the star destroyer, so yes.