There are quite a few of us that have a DeWalt 1251. This used to be the ELU 1251 until ELU were taken over by DeWalt. I find it a usedful bit of kit in the workshop. It takes a bit of time to set up. http://www.drosera.f2s.com/ras/DW1251.pdf is a scan of the manual.
If you do a search on ebay you'll usually find several 1251 listed. They usually go for around £200 depending on the condition and included accessories.