That is the one. I have though about repairing it myself as this might be the easier option but if I have to buy the part I assume I would have to pay duty on it. It has occurred to me now that in over 20 year of working for the NHS I have never sent anything outside the EU. I'm sure stuff has been repaired outside the EU before, be we have always sent it to the UK suppliers first. I suppose with brexit looming we may have to get something set up. It is probably not that hard, but we have never needed anything like this before.