I have picked up a DSI XL that is missing it's SD card slot cover. Is there anywhere that I can source a replacement? Can you get these without the rest of the shell? I've tried searching around the likes of Aliexpress and Google but cannot seem to find one. I'm probably a decade too late for there being any demand for these I guess and although it makes no difference other than cosmetically it does slightly annoy me, particularly as the console is otherwise in excellent condition. If I could fix it up for a few dollars I happily would. Anybody able to help?