Halibut is cooked like most fish until it is opaque and flakes easily. As for timing that depends on a host of variables from the true temp of the cooking medium to the thickness of the halibut! This is a watch and see operation.
As for a marinade I will hold off. Hae not settled on the right one yet!