While that may be true and we now know it, the topics is what did the Romans know about the pyramids?
Egypt had an incestuous relation with Rome, but I suspect Herodotus was still the authority on antiquities
We know as much about what Herodotus said as the Romans did, so, what I've said was right on topic.