Well, I did call AES and they were cordial enough. However, they advised me that these lamps were on back order. Might have some in September.

So, as it turned out, Prevost had them in stock and mine has been delivered and installed. Around $40 from Prevost, which was within a couple of dollars of what AES wanted, without shipping. Since I was ordering a couple of other items from Prevost anyway, the shipping was free for all practical purposes.

Thanks everyone for all the leads....