I have now put these on demonoid (x264). Size is 3.94 GB (I re-encoded everything again after my last post), includes subtitles in .ass and .srt format. I have styled them after the OT subtitles as I'm not sure how the PT subs are meant to look, but I think it's pretty similar:
