Hi Brian thanks,
Just to clarify, the file I want to edit is the single-event file in the events-calendar-pro/views/pro/widgets/mini-calendar directory.
So, I need to create a dir in my theme called tribe-events-pro/views/pro/widgets/mini-calendar and place the overridden file there?
I think I just need to know exactly where I need to place this file.