Also it appears that PTF is stripping the profile from the file when saving TIFFS.
This part of your question I can probably shed some light.
When you print to file, you are offered two choices.
One is to make a file for the web, and the other to make a file for printing.
The web defaults to sRGB as it should, and the Print to File for printing, tells you that it is going to use your printer profile from Prtr ICC.
So, if there is any specific profile that you want to have embedded in your Print to File, simply place that profile in the PRTR ICC box before using Print to File.
It works, TIF ot JPG
Fred