Hi I just bought a GBA and would like to clean it. The buttons are kinda gross looking, and the bumpers are stained. Is there any recommended way to clean the buttons and shells of GBC/GBA? I thought maybe I could drop them in a glass of isopropanol and let them sit a little while before wiping them clean. Is isopropanol not recommended? Should I just use water instead? I understand isopropanol would be usable to clean PCB and stuff like the pins on GB cartridges. But I'm not sure how the plastics would react. I wouldn't want to strip them of colors or anything. Also I feel the bumper/shoulder buttons on the GBA are made from some other plastic then the d-pad and A/B buttons. Are there any recommended methods to clean the shells themselves? I could always drop it in a bath, but I would as far as possible, like to do this without further damaging the stickers on the back. So I'm guessing I would have to to some manual labor on the case. In short: What products do I need to clean my shells and buttons? How would I proceed to actually do the cleaning?