Yes they work.
I managed to find it here:-
http://interface.khm.de/index.php/lab/interfaces-advanced/arduino-dds-sinewave-generator/index.html
Note this was the same link as I originally posted, although clicking on that URL in the post doesn't seem to work any more. This one works.