That is a crazy high sampling rate for a survey application. I've used 2hz for airborne GPS photogrammetry and 1 hz mobile mapping. I don't know having a 5hz rate gives you for TOPO.
That being said, I think I've used TEQC for this purpose and I think that it is still being updated. There were some other applications like Rinex Manager and Decimate that I've used to muck with rinex files, but it has been a few years since and I can't really speak to which versions are supported.