[EventCalendar] Shorter Month Name

[Mark McGrath]

Hi Folks,

I'd like to change the output of <?php ec3_the_schedule('%s ','%1$s -
%2$s ',' %s '); ?> to include the short, 3-Letter Month name.

You can see why on this page:  horse-canada.com/?cat=36

Any ideas how I can do this? I've been killing myself pouring through
all the plugin files to find where I can make the adjustment, I just
can't figure it out.

Any input is appreciated. Thanks so much.