According to Wikipedia, shots of both the HL-10 and M2-F2 were used in the opening sequence, but take a look for yourself: