[Plugin: Event Registration] Time and Date formatting

I’m having trouble with the formatting of dates and times. Events are entered with Month, Day, Year and Start Time and End Time in 24-hour format. I’d like to display on my Registration Page the day of the week, date, and time in 12-hour format.

Currently, it is formatted this way:
Date: 2011-05-7
Time: 13:00 – 15:00

But I would like it to be formatted this way:
Date: Saturday, May 7 2011
Time: 1:00pm – 3:00pm

I’m sure there is a simple php formatting code for this, which I’m willing to get in there to edit, I just don’t know where, and how. Thanks!