I got my refund. I called Customer Service for the umpteenth time and got an intelligent, helpful agent who saw the problem immediately, followed up, and called me back to let me know that Refunds had agreed to pay for the full amount of the useless ticket. Why this could not have happened the first time, I'll never know. I probably spent a total of ten hours on this matter.