Nonetheless if that is what the divers want it can readily be provided for them. The extra cost, if any, is likely to be fairly minimal.