No, I haven't, but I'm going to get in with my doc to give it a shot later this week. I definitely don't want the same thing happening in September when I'm back up there, as it will probably be my last chance of the year to hit the summit. For that trip, though, I'll have three days at the Portal ahead of time to get a little altitude in me.
It was a very valuable lesson, to say the least. I'm glad that I learned it.