AllThingsD reported today that PlayHaven, a real-time game marketing platform, will add push notifications to its suite of offerings. "The push notifications feature will be free while it is in beta, and PlayHaven has not yet announced specific pricing details for after the beta ends," AllThingsD wrote.