Il n'y a pas d'horaire PST ... mais il n'y a pas d'horaire du tout !
Ca fait 3 ans que la quasi totalité des portails DF ou des portails tout court d'ailleurs (à l'exception de quelques DDF Gogeta/Janemba, Gogeta SSJ4/Omega, et 1 ou 2 autres), sortent tous à 8h30 heure française, le lendemain du jour affiché dans les infos du jeu.
Donc quand c'est écrit le 15 mai sans précision d'heure, il y a de très fortes chances que le portail soit disponible le 16 mai à 8h30.