If staying at AquaMarina, they will want you to use AquaDives and, I'm sure, will give you a great dive/snorkel package. Ultimately, you can dive with whoever you want. I have dove with AquaDives many many times and have had nothing but good fun times.