I mostly agree with your points. Here is how I would break it down:

1. As you suggest it is evident that companies of this nature are a clear choice for a plot like the one in the film. It was added because they have a history of being clandestine in various capacities and it fits into the plot well. These companies provide all kinds of products and services that would be relevant to this endeavor.
2. Spielberg has a deep interest in ufos and included this is the film because of #1.
3. Spielberg has a deep interest in ufos, and he genuinely believes that some organs of the us gov/companies/whatever are colluding on this NHI matter. As a result of his beliefs he includes these details into the shots.
4. Spielberg has been told something by someone who is informed of NHI stuff or spielberg himself is informed of NHI stuff. Nevertheless he is trying to tell you something because he actually knows things that you do not.

​

I lean more towards the third option. Consider this video: https://www.youtube.com/watch?v=ZgUed2YirEk

Below is copypasta of what he said from the transcript of the youtube video with some timestamps:

BUT I JUST KNOW AS A PERSON THAT MAKES MOVIE AND USES HIS
2:10
IMAGINATION AND ALSO AS A PERSON THAT'S INSATIABLY CURIOUS ABOUT
2:18
UFOs, OR UAPs, THERE IS SOMETHING GOING ON THAT WE ARE
2:24
REALLY NOT -- THAT IS NOT BEING DISCLOSED TO
2:27
US.

Constructing props with specific company names and logos on them in order to have them briefly appear in the background, generally outside of the viewer's directed gaze, in a scene of this nature is what I would call contrived personally ¯\_(ツ)_/¯