Yes, the 'petting stuff' is at the Seaquarium: Curacao Sea Aquarium, Dutch Caribbean .
The good thing about curacao is that there actually is more to do than just diving and tanning. A useful site for information is curacao.com, especially this section: Curacao activities and events | Bon Bini...