What are you wanting to do with the final pictures? When I travel, I always take a DSLR and usually a medium format or larger film camera. I shoot lots of landscapes, which in my opinion, often benefit from a larger and sharper prints. With 35mm, 8x12 is the usually largest I can print up to and be happy with the results, provided I’m not wanting grain in my photos. And even to go that big, you pretty much need everything else to go right. Most shots made on 135 film top out at around 5x7 before they get grainy. It’s just not a serious format in my opinion. 135 is great for having fun and posting photos to the internet. But I rarely print from it.
But that’s just me. Everyone is different. If I shot more street photography, I’m sure I’d feel differently, as grain usually isn’t as big of an issue for that as it is for most landscapes. Since you already own a F5, I presume you have experience with it and know what it’s capable of. If that’s good enough for you, then no reason to spend more on another, heavier camera. But for me, I’ve just been disappointed too many times from my 135 cameras in the past to consider them a serious format.