The board finally arrived and it is indeed the SIM7600G-H, which is the global version.
I tried it on my raspberry pi 5 and struggled a bit because there was a change to the UART interface between the PI 4 and PI 5 and the documentation on this board describes the PI 4. But, after some fiddling around I figured out the correct setting and got it to work. The main difference is that the "UART0" needs to be explicitly turned on because the default debugging UART now uses the UART10 interface that is somewhere else on the board.