There's also the 4k77, 4k80, and 4k83 projects which made 4k versions of Star Wars, The Empire Strikes Back, and Return of the Jedi respectively, all from original 35mm reels of the movies.
While nepotism is almost universally a bad thing, Gabe has shown that he does not subscribe to the "profit at any cost" school of business, but instead believes that if you provide a good service people will pay you for it. Hopefully he's been able to pass those values on to his son.
G-Police was the poster child for new texture streaming effects over the AGP bus. It was one of the first games (if not the absolute first) to feature animated billboards.
There was also a Playstation version which may be easier to find.