I wrote a couple of them. They only had to buy the RX through AON. Of course AON didn't make that info easy to understand for the retirees.
It was in black and white on the FAQ piece. Of course, the AON Exchange workers wouldn't freely volunteer it.