Sounds about right. It may have graded even higher as the luster appears to be pretty good. AU-62? :-D
Difficult to really discern from those images, but I’d say AU55/58, but it wouldn’t surprise me if NGC graded it MS61 or 62. Here’s my 58 for reference.