Great news! The refund procedure does work! Today received a credit for the difference I paid for the first class ticket over what I would have paid for coach.
Thanks for all your assistance.
Is that in addition to the $500 voucher (per downgraded ticket) for the inconvenience you faced?