Hi Jack,
Thanks for that - looking at your forum posts seems to be a HK25 or 30.
Good to have a copy of the operating and service manuals that have been put up.

Anyone have any idea whether the silver/blue was the original colour scheme?

Cheers