I would suggest a little due diligence may be in order and would ring the manufacturer. When you will probably find that the indicated load of 7.5KW is a peak load (on shower startup) and that the normal running load, as has been suggested, is considerably less.
If you do the calculations based on the length of run (and how much is in the wall etc) you may well find that the cable is adequate anyway. There is a safety margin built into the guide. The cable run length may affect the power disipation due to any voltage drop if it's a long run.
I'd agree that this is a borderline case, however Gooner has neither installed the cable nor shower. I'm sure he would have selected a 6mm cable if he had.