I don't have the experience to verify your AWS checklist but I can tell you there's no functional difference between running 50+ ACF servers behind an F5 and running the same number of Lucee instances the same way.
I had the same ACF setup behind an F5 (40+ servers in prod at x4 per pool). That was eventually migrated to Lucee and nothing really changed with the F5 setup.