That sounds about right.
There was pretty extensive discussion about this, a long time ago: Maximum pin toggle speed
Since then, there have been assorted "digitalWriteFast" libraries written, but Arduino has been uninterested in accepting any of them as "standard" (they're all a bit incompatible, when it comes to things like turning off analogWrite(), if that was the last thing done on the pin.)