Hi Pete, next time down the beach will loan you one of my north pump complete with pressure gauge, I can’t say for the havoc but I pump my kites to 6 to 7psi leading edge. 10psi for the struts.
If it’s got a leak then will notice the pressure drop after an hour when reconnecting the pump/gauge (theoretically)
Btw, pumps are old school I use a 12 volt compressor now days, handy for those down winders on the beach to score the first launch