Yep. Fully grown, just like you'd see in a wildlife documentary. Shell back maybe 4 feet long. From memory the dive leader said he (or she) was a green turtle, and this one is a duck bill turtle. He was 2/3 the size of the big one.
Snapped him on a dive that morning.