The Hi-Power was not used very much by the actual commonwealth because the facilities were... in German-occupied Belgium, IIRC. I know the Germans made limited use of them though. Also, you should probably add the Maruzen PPk, and the Zeke PP conversion kit.
The Mauser HSC, which I believe was the basis for the PPk design, is also available, though the only one I know of is a cheap HFC GNBB.