[shitpost] anyone know anymore dinosaur puns like TRIceratops, tyrannosaurus flex, velociTRAPtor?