I also think you should be good for 9:30, unless the flight (or HEx) is delayed. HEx is usually on time but sometimes it can get stuck on the way for a few minutes (usually not more than 5 mins in my experience!). Departure from T5 has always been on time for me though.