Hi last week I got a really cheap DSi XL, but the shell a bit ugly. I see on eBay some replacement shells for the DSi XL, are those any good?