All-in-One Event Calendar – Dates Formatting Confusing

Love the plugin and use it on many sites, but there is one thing that bugs everyone who looks at an event that spans several days, especially those that span 2 months. Here’s the example. The event starts Wed July 31 at 0900, and ends Fri Aug 2 at 1215. All-in-One Event Calendar displays the following in Agenda View (our default):

– the event start month/day/year in it’s usual nice way
– 9:00 am – Friday @ 12:15 pm in the event header.

Now, that may be good enough for some, but I have client asking me if I can present the start/end date/times as follows, to avoid any confusion:

Wed Jul 31 9:00am – Fri Aug 2 12:15pm

But I can find no setting for controlling the way the start/end date/times are displayed in the event. It would be GREAT if I could.