All of it.
Of course, high speed trains between Tampa and Miami are in the base budget and do not count as overruns.