In this stash of stuff I bought, I found another CoCo3. However, looking through the top vents, I see a daughterboard, with plastic stand-offs, and it's labelled TANDY AXX-7117 Am I correct in assuming this is a CoCo3 upgraded to 512K with the Tandy upgrade? Tony