Yeah. It seems to have been a random idea Tampa came up with. It isn't even clear what the money is /for/, either.Fortunately by the time any real money will be needed DeSantis will be history as he is term limited. Also, it is not clear why this money was requested at this point anyway. It is not Brightline that asked for it as far as I can tell.
Edit: It sorta calls into question FL getting picked for Corridor ID...but as you said, DeSantis is about to term out.