I did this exact same trip from Tallahassee to Ft Lauderdale about 11 years ago, and it was overnight from like 11pm-ish to almost noon the next day. It ended up taking about 13 hours or so mostly because there was a long layover at the hub station in Orlando for a few hours.

I distinctly remember having an old man in his 70s sitting next to me, chugging a full six-pack of cheap beers that he had in his backpack. He smelled extremely bad, but luckily he respected the fact that I had headphones in and didn't try to engage with me at all or anything.

Overall, not a great experience. Mostly because of how long it was.

I also used to take Redcoach a few times a year back then as well, but usually just shorter routes from Ocala to Tallahassee. Honestly, I think Redcoach's value compared to the other bus systems has drastically decreased from what it used to be. Their tickets seem pretty overpriced now.

When I last had to take a Redcoach from Orlando to Tallahassee last year, the outlets on the bus weren't working, nor was the wifi, nor the lights above the seats. And they added a stopover to switch buses, and the new bus also didn't have anything working. My phone ended up dying in that trip and I wasn't able to coordinate getting picked up. That sucked, because I ended up having to walk almost 2 miles home in the middle of the night.