Quick update: I've picked up the DP-990SG (50€) and I found a remote for the DP-880SG (which is identical apart from the Edit & A/B Buttons, the DP-990SG shares the remote with the DP-1100SG and that one seems to be very hard to find) on Ebay (~10€).
Other than a few minor scratches, it looks to...