Those hydro foil deals are super popular. They ride them all around where I live, too, but since they are in the bay I have not seen any shark issues. Out in the gulf, for sure I could see sharks being an issue because we would have issues with them surfing.
I didn't watch the whole thing but was it a great white? The wetsuits make me think great white since they are cold water sharks.