I ran my 97 Trophy with 120hp force this weekend and noticed it came up a little short on max rpm.It normally revs to 5k but only would go to about 4800.While changing my plugs today I noticed a small amount of water(milky) on plug on top cylinder.I did a compression test and that cylinder read 150psi.The bottom three read 160psi.Do I just need to change the head gasket?The engine has never overheated and has 400hrs all saltwater.I did decarb last week with a large amount of seafoam.