probleme de temps

bonjour,
je cherche a faire un script pour un jeu.
Pour un vaisseau, il faut 1h30 de construction.
Donc 5 vaisseaux, ca fait 7h30.

Je cherche a faire un script qui fait ca...

<?
$timeTG = '01:30:00';
$PTA = $_POST['TG']*$timePT;
echo $PTA
// Résultat = 5
?>

J'ai fait ca, mais ca ne marche pas.
J'ai compris pourquoi ca faisait ca :
pour php '01:30:00' est une variable comme 'bonjour'
alors 5*bonjour = 5.

Pouvez vous m'aider, merci