If you compare the pics of his fish and of the peppermint hogfish, you'll notice that his fish lacks the white bar marking right where the tail starts, where his is located only at the end. Maybe a juvi?
It also sort of looks like a coris from it's body shape, especially the second pic. Whatever it is, nice find!