I don't think this means you will have further major issues.

Let us know if the AC shuts off again. I read somewhere else that the dealer replaced the AC control module? whatever that is.

Can you post the TSB numbers when you get a chance? Thanks.