I also wanted to make note of the fact that when I mentioned that "default-information originate" must be added in addition to "redistribute static", this also applies to situations where the default route is carried by another routing protocol, such as ospf. In a case such as this, you would need to "redistribute ospf", and also issue the "default-information originate" command. The default route used in the video was a static, so this was definitely an oversight.