There's a 3.8B revenue figure floating around for SpiderMan 2018.
Its a hard to believe for a singular game, especially one we have data for via leaks, even if they count special edition consoles and controllers. Perhaps if they're including some PS+ metrics for engagement it may be true. But I'm more inclined to believe its accounting for the entire series.