Hi IFC, it’s been a while…
I know this is nit-picky and probably doesn’t warrant a whole topic, but shouldn’t the TFR around SBRJ allow B738 instead of restricting all aircraft to B737/A320s and smaller? GOL in particular flies B738s to SBRJ all the time (although they’re lightweight). Here’s one doing so now.
Someone can correct me if I’m wrong, but I believe “B737” refers to not the B737-700, but rather the entire family as a whole- this would allow B738s and B739s to fly in to SBRJ. I’ve been able to fly B738s into SBRJ with active ATC, so I don’t believe it should be a problem.