If you can sacrifice quality, you can encode the videos at a lower bitrate, but that is lossy compression, not lossless. Also, if your videos are in h.264 codec, then transcoding them to h.265 and preserving the quality may be a way to get the files smaller. You would use a tool meant for video, like Handbrake for this, and not winrar or other generic compression tool.