This document describes a model developed by Abbey Chaver and Benjamin LeRoy to optimize Amazon's last-mile transportation costs by determining the optimal number of guaranteed, option, and spot drivers to hire each day. The model sets wages for each driver type such that drivers are indifferent between contract types. It defines terms, makes assumptions, sets up an objective function to minimize total expected costs based on demand distributions, and provides an example solution based on parameter values tested in R code. The model suggests paying for flexibility with option and spot drivers is more cost-efficient than guaranteed drivers.