I just looked at the passenger receipt I got at the airport for the ticket purchased through Travelocity. It shows the ticket price as $623. I paid (must check credit card account to see it was correctly charged) $216, so not hard to understand Travelocity's great reluctance to make good on their mistake, $407 of reluctance to be exact. After much browbeating of the ICC's Mark by me, they did, though, and I flew the flight I originally booked through them.