Hello Hans.
Many thanks for your reply. Another forum member is looking in to the push button availability, but if they do not have it, I will contact you. I certainly do not have such a large button in my spares box, but I do have another "Jupiter" radio, but do not want to remove the button from it.
I thought that I might ask about the grub screws before I buy from my local Wilko's Hardware store in Leeds. The only grub screws that I seem to have now are ones that are activated by "Allen" keys, so I just thought that someone may have some original spares.
I am not based in Harwich, Essex. The museum there used to be linked to my site.
Kind regards
Mike