Hi again,
Had a couple of follow up exchanges with Eddie, including the possibility of a new frame. But, in the end, it sounded like everything was going to involve sending the frame back. I decided to just do the repair myself, in stages. My daughter didn't have to be without her bike for any amount of time, and I got the chance to work on new skills.
Here's the repair. Need to clean it up a bit and buff out the new clear coat. Just an Ebay CF repair kit, some sand paper, some mold making clay from Michael's, electrical tape, and some rattle can paint and clear coat.
Edit: Just an fyi... I was able to measure the inner diameter of the seat tube and the outer diameter of the seat post with a set of digital calipers. The inner diameter actually measures slightly larger than the 31.6 mm standard. However, the seat post also measured larger than the 31.6 mm standard, maybe .1 mm smaller than the tube. I only have the one round seat poss and the one round seat tube, but, I'm guessing the seat post is more of an issue than the seat tube.
Does anybody have actual measurements for comparison?