While lawmakers waged a behind-the-scenes war over how Florida’s lucrative tourist development tax funds should be spent, ...