def time_into_milliseconds(time_string: str) -> int:
    """Utility function to turn time string into milliseconds from H:M:S.f format."""
    hours = int(time_string[:2])
    mins = int(time_string[3:5])
    seconds = float(time_string[6:])
    return int(hours * 3600000 + mins * 60000 + seconds * 1000)