divxtotal how much does ps4 cost