Am I right that the 242K lead in Florida is as of last night down to about 200K?
Yes. The Republicans have been biting 40,000-50,000 hunks out of the Democrat lead in Florida practically every day during early voting. The Democrats started with a mail in ballot lead of about 600,000. It was estimated they needed a mail in/early voting lead of about 650,000 to withstand the Republican surge on Election Day.
They stand at less than 200,000 now and at the rate things are going, their lead will be down to 0 before the Republican surge on Election day.
Trump is going to carry Florida again EASILY.