Okay, I’ve answered my own question in that “event-tickets” is the free plugin.
I just downloaded 4.1.4 from the wordpress dev area and compared it with my v4.1.4 and the differences in MY VERSION are:
folder removed: event-tickets/common/src/Tribe/Utils/
file added: event-tickets/src/Tribe/Attendance.php
Weird…. why those two differences? They’re not files we’ve modified / deleted / added on our end… they’re your files, but different between the recently downloaded one, and the one installed on my server.