I'm going through some of my spare cocos to put on ebay. I have a modified (has the nice keyboard) coco1 that still has the 4k badge.. I know it's not 4k as print mem is 24871 and has extended color basic 1.0. How can I tell if this is 32k or 64k. I don't want to falsely advertise when I sell this thing. Maybe a peek or a poke or a tweet. Thanks.