Indeed the DS525 went out of production last month! 
I picked it up last year and it was a big disappointment because the camera was well made. In any case I have 4 spare so I’ll survive 
I’m considering moving to a x86 board with USB3 at some point. Need to find a nice RGBD camera option.