My other half commutes to the UK for work with PCR testing etc. He has an NHS no. which we cannot find, and pays all his tax and has a national insurance no there aswell. We live in Ireland, my query is, where do I find his NHS no. and how can I get him registered for his vaccine? I have been trying to find out to no avail. He lived and was a property owner 20 years ago in the UK . Thanks in advance