De este modo, uno puede asumir que el mantenimiento cuesta unos 9 dólares por hora.