First off, your upstream provider will need to change their interface to IP unnumbered. They should know how to do this and I've always configured my connections to ISPs as IP unnumbered.
Second, Change your default route to:
ip route 0.0.0.0 0.0.0.0 serial0
Third, don't worry about an...