ORLANDO, Fla. — Orange County’s piggy bank is overflowing, and now comes the hard part: What do you do when tourists hand you $400 million a year? The county’s Tourist Development Tax revenue — the 6% surcharge paid primarily by visitors staying in hotels, Ai…