If really think your best option is the ferry as it is cheaper and as someone said you wouldn't lose any day time in
PR. As a family you'd be saving 6-700 USD (not sure what prices are nowadays, but back when my mother used to take it to
PR it used to cost about 200 USD with sleeping cabin or about 150 USD without a cabin.