I finally got round to updating my AIR Overlay tutorial for those who would like to take advantage of the AIR 3.1 SDK from Flash Professional CS5.5.
Check it out and let me know if you find it useful: Overlaying AIR 3.1 SDK for Flash Professional CS5.5.