Nice. I've been picking up the "last gen" Tomb Raider titles on disc (I like me a bit of nostalgia) but to get Tomb Raider (2013) for under £7 is a steal.
It's almost tempting to buy the Steam versions of Legend, Anniversary and Underworld but I promised myself I'd only buy a digital copy of a game I already own on disc if it is DRM free (basically GOG) or if it offers improved functionality (such as if a retail copy just won't run on Win10 or an old game is given native controller support like KOTOR2).