What's the alternative? You can always buy one from ebay and then run the gauntlet of it not working and then you could always look for a scrap 3009 or 3012 and then pay silly money for that and possibly not working as well. £104 is very steep but it's hopefully piece of mind. That's the problem with running vintage kit.