Hi Peter,
The instrument is listed here : http://www.pasc.panasonic.com/Epartr/PartslistChoice.asp?
I'm sure this is an American website (prices in $US) and from what I can see in the parts list, a 'Power Supply' module is not listed. Several individual items, which could be components within the power supply circuit, are listed eg. Transformer, Voltage regulator ICs and what I would imagine is a large capacitor.
It might be worthwhile your friend contacting the supplier with further questions. Follow the 'support' trail to 'Contact'.
Additional UK Contact : http://www.panasonic.co.uk/customer-Support/digital-service-network.asp

------------------
Willum