Does Arnold's dinosaur exist ... yet?

[RaptorRKC@aol.com]

To all:

In Lessem's book _Dinosaur Rediscovered_, it was mentioned that Bakker was
planning to name a dinosaur after Arnold Schwarzenegger (spelling?).  Where
did Bob's plans go? Has a dinosaur been named for Arnie :) yet?  If not, does
Bob still have plans to do so?

(This query was asked mostly because my little brother is a big fan of
Arnold's.)

Thanks in advance!

Inquisitively yours,

R.K. Clark