Because I am a big Gary Larson fan: the tail was actually named ๐๐ฉ๐ข๐จ๐ฐ๐ฎ๐ช๐ป๐ฆ๐ณ after this comic strip came out. previously, there was no name for the Stegosaurus tail.
That is awesome.
Love Larson too.
Didn't really discover him until my Anthro (human origins) prof Don Johanson peppered our exams with Far Side cartoons. Literally just threw them in between exam questions. They were on the exact same wavelength and it was too cool/funny.