You did the right thing getting it running right away. I would have flushed a
bit of 50:1 mix through it to be sure everything was lubed before I started it
but basically the quicker you get it up to operating temp and boil all the
remaining water out the better.
The "service" when they go into salt water is bascally to flush it with fresh
water and get it running.