Имя динозавра

Динозавры, обитающие в палеонтологическом музее, решили, что их имена слишком сложные. Посетители путаются, да и сами динозавры то и дело допускают ошибки. Откуда же взять новые имена? Конечно, из книги отзывов! Детей, которые пришли в музей на экскурсию, будет ждать большой сюрприз - динозавры стали их тёзками! Может, им тоже стоит сменить имена? В конце концов в музее всё перемешается: дети, динозавры… И только Петька придумает, что надо делать. Но если он не мальчик и не динозавр, то кто?