That said, a 600dpi TIFF is probably every bit as good.
Unless you are using your normal printer driver instead of the RIP, a TIFF still has to go through a RIP. A RIP isn't a file per se, it's a process and replaces your printer driver.

This may help explain