By the way, this did much better than Tomb Raider (Lara Croft), which made a staggering $57 million in US box office.
I was not even aware that another “Tomb Raider” was made. The one they made way back in 2001 was actually pretty good.