I’d be surprised if they aimed for their ship to arrive n days before the spring tide in case it got stuck. That just doesn’t sound like an efficient operation. In this case the luck was that the high tides were relatively high when it was stuck. If we were in a neap tide, we might have had to wait longer for a high enough tide to get the ship out. (But maybe if tides were lower it wouldn’t have gotten so stuck)

P.S. it isn’t exactly clear what you mean by mariner, but plenty of sailors in the Mediterranean don’t really need to care about tides as they don’t really get them there. Indeed, you shouldn’t trust any of the early modern Greek or Italian treatises attempting to explain tides as their authors didn’t really know how tides actually behaved outside the Med.