I wouldn't consider any of them to be big coasters.
I was mainly referring to the point for him saying they can't be themed. Those are proof of concepts. Just have to scale up. I'd say Black Mamba would be a better example of a large coaster being well themed, but that would send 90%+ of the people to google to see what it even is. lol Big thunder and Matterhorn are just easier top of the head examples.