I have on my desk 2 OEM GBAs full stock, one was originally mine and in great condition, the other was off of ebay and is covered in micro scratches etc, is it worth restoring this shell at all or just replace it with an aftermarket one, theyre not exactly expensive
The aftermarket shells can be very good quality these days, if the original shell is badly scratched up I would just replace it.