Yep, i checked page 103 -- that looks right.. and I ran it
But there were no instructions to perform one during installation
so i didnt know if it was a 100% thing you have to do once priming the printer
the icc's are available for 3880 and Hot Press on the epson uk site
Epson Hot Press Bright White is a very new paper ... it's possible Epson hasn't created a profile for the 3880 yet. Doubtful the 4880 profile will work very well. Might have to have someone make a profile for you.
As far as head alignment, you should do it, and the instructions are pretty clearly outlined on page 103 of the user manual including the papers that should be used.