Yes. It regularly happens naturally.

Sure you can find one of those same sequences randomly here and there in other organisms but until 2019 you would only find all 4 in HIV.

The insertions probably occurred independently.

In addition, phylogenetic inferences carried out in the vicinity of the insertions (Fig. 5) show that the four insertions found in SARS-CoV-2 cover different sub-groups of coronavirus strains, suggesting that they occurred independently at different times of coronavirus diversification. In particular, the first three insertions are observed in virus sequences isolated not only from human and bats (RaTG13), but also from pangolins from China or Malaysia. The hypothesis that these insertions are the result of recent experimental manipulations would not explain the presence of these sequences in several virus isolates from different species, collected at different locations, especially since these insertions occurred at different times during the evolution of these virus strains. - Source

Secondly the first 4 new sequences were from 4 different HIV genomes.

Yeah, but the first 3 are also from viruses in bats and pangolins. So those insertions could have happened sequentially and long before the jump to humans.

And HIV as a source of the inserts is not supported by the statistical analysis (Fig 5 of the paper above)

Thirdly recombination would affect the entire genome not just the spike.

Not necessarily. But certainly the evidence is that these particular inserts did not occur at once. So I agree that recombination is unlikely. Not least because without the fourth of those inserts, the virus wouldn't infect humans very well at all, so would not be in the same animal as human HIV, much less the same cell, which, as you point out, is also unlikely.

Forthly when a second version of the SARS-CoV-2 virus shows up and it has a 5th sequence that also matches a sequence from HIV-1 and it is 28 nucleotides long there can no longer be any pretense.

That's not a slam-dunk. What matters is how often that sequence is seen in other viruses or RNA sequences that might by hanging around a human or animal cell.

It was done in a lab just like nobel prize winning virologist Luc Montagnier said it was.

That's not impossible. But Montagnier's (off the cuff) analysis is refuted by the statistics in the linked paper, described above. If you look at the entire database of viral sequences, the statistics don't imply HIV-1 as a source.