Correct! Females are about 2x the size of a large/jumbo mouse, and males are about 3 times as large. I can take some comparison photos if that helps anyone. I have several colonies of mixed ASF and house mice.