12v Lucas are hard to find now as they rotate opposite direction to everything else. If you get stuck, you can get a new modern one which will fit.
OK wont look original but when needs must https://www.autoelectricsupplies.co.uk/product/1517/category/217
There is a post somewhere from a member who has one fitted