I just replaced the two stock 512MB modules with 2GB ones. Now I don't know what to do with the 512s. I might sell them on ebay, but I don't know the exact specs, or how much I could even get for them. What did you guys do? Anyone want 'em?