Objective: extract a formatted date like this "Tue 20 May - 5:30p"

SELECT  T1.VenId, T1.VenName 
 ,T2.CalEvId 
 ,T2.EventStart 
 ,T2.EventName 
 ,T2.EventDescSummary 
 ,T2.ImgUrl 
 ,T4.ArtId 
 ,T4.ArtName 
 ,(T4.UrlPathName || T4.UrlDataName) as FullArtistPath  
,case extract( weekday from T2.EventStart) 
when 0 then 'Sun' 
when 1 then 'Mon' 
when 2 then 'Tue' 
when 3 then 'Wed' 
when 4 then 'Thu' 
when 5 then 'Fri' 
when 6 then 'Sat' 
end  
|| ' ' ||   
extract(day from T2.EventStart)  
|| ' ' || 
case extract(month from T2.EventStart)  
when 1 then 'Jan'  
when 2 then 'Feb'  
when 3 then 'Mar'  
when 4 then 'Apr'  
when 5 then 'May'  
when 6 then 'Jun'  
when 7 then 'Jul'  
when 8 then 'Aug'  
when 9 then 'Sep'  
when 10 then 'Oct' 
when 11 then 'Nov' 
when 12 then 'Dec' 
end  
|| ' - ' ||  
extract(Hour from T2.EventStart)  
|| ':'|| 
extract(minute from T2.EventStart)  
as TheEvDate  
,extract(hour from T2.EventStart) 
|| ':'|| 
extract(minute from T2.EventStart)  
as TheTime 
 from CalEvVenue T1 
 join CalEvEvent T2 on T1.VenId=T2.VenId 
 left outer join CALEVEVENT2ARTIST T3 on T2.CalEvId=T3.CalEvId 
 left outer join CalEvArtist T4 on T4.ArtId=T3.ArtId 
 where T2.EventStart > 
'03/12/2025 00:00' and T2.ShouldDisplay = 1  order by T2.EVENTSTART;