Yes there is.
Most or all of our date-related template tags accept an optional date format parameter, which is basically just the same as accepted by PHP’s date function:
tribe_get_end_date(null, false, 'H:i:s')
Or you can tell it to display the time (and therefore adopt the same format as used elsewhere in your blog) and pass a blank format:
echo tribe_get_end_date(null, true, ' ');
Note that an empty string ” won’t work here, you need at least one character of whitespace.