Thanks everybody. I thought I was right, but the rep came back with a very specific "you'll be charged 20k miles and 75$ copay", which seemed bogus. I figured people here would have experienced this and would have the answer.