I was shopping for a used JD9mk2 (I used to have a JD9, but sold it a while ago). During my search, I saw the original version for sale at spearitsound.com (in their used/demo section, for only $379). I have no affiliation with them (and, I don't even know if I'm allowed to mention a vendor around here).
Just passing on the info I found.