I don't know the English word for it, but there is a tool you'll get in a metal shop which helps to smoothen edges in a drill hole in metal. It works perfectly - handled with caution! - on vinyl, too.I've tried it!
Good luck from Germany!
Good luck from Germany!