My vote is 3. Using outdated versions of Tor is a massive danger to both privacy and security. Plus, 140mb isn't that big so it's a solid trade-off.