I agree with your analysis (thanks for sharing), but just for nitpicking, i believe it's fine if an ISP blocks port 25 by default to help combat unintended spam, as long as you have the option to unblock it.