best head gasket for 90 EX 16V

Hi,
We are getting a new rebuilt head and head bolts for the 90 Accord EX (16V
SOHC) with 200k as soon as we confirm a burned valve on the old one. What is
the recommended head gasket for this application, aftermarket or OEM? And
what, if anything, should be done to the (aluminum) block to ensure a good seal
besides thoroughly cleaning the old gasket off? The head rebuilder has
recommended NOT to retorque the head bolts after 500mi or sand any surface
pattern into the deck, as seem to be common wisdom depending on who you talk
to.

Is there anything else important to replace along with the head besides the
timing belt, water pump, and all associated gaskets that would be hard to get
to later? Example: any known problems with the front crank seal, oil pump, or
timing belt tensioner?

History: The Accord always ran great, with some valve noise when cold due to
owner neglecting oil changes, until one day there was zero compression in #1.
No noise at all, just has no power. The car overheated once about five years
ago due to a leaking hose, but nothing bad seems to have come of that luckily.
Since it is aluminum, the deck will be checked for true before proceeding.

Appreciate any comments good or bad. Don't want to let a $400+weekend job get
out of hand.

Thanks.