tiger beach is pretty safe, don't think they have had any issues since that one missing diver in 2014, but that may have been a general dive accident rather than an attack. there also was one snorkeler that got attacked in 2019, but that wasn't at tiger beach rather at one of the beaches with...
the bigger issue is having enough people for the charter boat leaving from the west end, not always guaranteed you will have the boat minimum. bimini for the hammerheads is a better guarantee in that aspect.
@Christian according to the aggressor website, MY Royal Evolution is joining aggressor fleet in 2022 and the one offering the sudan itinerary Linda is likely referring to
check if the springs have compressed too much for contact, you can try pulling them up a bit by hand. failing that, it likely is the driver, which would be a DIY replacement. assuming you don't see any evidence of a flood.
you have the non-sealed version, the design is similar to apeks, but not fully parts compatible afaik