Thanks for the additional info and helpful tips about getting from cruise terminal to the metro station, greatly appreciated! Knowing that it is safe to walk makes me feel better; and in the "worst" case, we will just walk all the way from terminal to the station, that seems to take under 1 hour (even from the furthest terminal) if we are not lost. I found the locations of both Piraeus station and the new Dimotiko Theatro station (near municipal theatre of Piraeus) on Google Map. I have downloaded the offline Google Map for Piraeus / Athens and hopefully it will guide us to get to the station.