Yes, you are quite right, I just checked the OBs. They had a heavy company with 81mm mortars and 37mm ATguns, and the 8th had an additional AT company with 37mm and 50mm At guns. The main difference with the rifle regts in 15th Panzer is that the infantry platoons ‘only’ had four MG34 instead of six, but they did have SFMG mounts for all of them, as well as the only Sdkfz 251s in infantry units, ten or so in each battalion (plus another 20 MG34s), so overall six MGs per platoon. Blimey. In fact double blimey.
I tend to do the desert war at brigade/division/corps level so the minutiae of battalion orgs pass me by.
"Mistakes in the initial deployment cannot be rectified" - Helmuth von Moltke