My plans for Monday have taken a dive (pun intended). Ginnie Springs is only good if you go on a weekday or extremely early before the major crowds get there. Ginnie Springs is popular with non-divers because you can camp, fish, kayak, swim, snorkel or drink heavily and act like a fool.
Does the other diver have an advanced certification? If so, I would highly recommend Paradise Springs for it’s uniqueness and if the other diver doesn’t have an advanced cert then Blue Grotto is always a good option.