Ocean Blue can look almost purple under certain light but so can some of the other blues (maybe that will help you rule it out?). The second picture makes me think it isn't Ocean Blue, even though it's probably the most common of the various blues. It's going be really hard to ID the color without putting it next to a real life paint sample.
Since it doesn't have "ears" it was likely made after 1998, if you want to compare it to when the different colors where available here:
https://www.renntech.org/externalpaintcolors/boxster-986-external-paint-colors-r1/
EDIT: Just remembered this from a PCA email a while back, it could be very helpful:
https://rennbow.org/colorwiki