[avalaunch]

Ah. I knew the date to file your claim with the DOJ had already passed so I assumed (incorrectly it seems) that the refunds had already been processed. Thanks for the correction!