You don't need to have a manual to remove and reinstall fresh gaskets. If you have purchased the fresh gaskets from our store on this forum, then simply remove the old using a flat head screwdriver and wipe it down with some addesive remover to get any old adhesive out and off. After checking that the groove is nice and clean, peel off the backing of the new gasket strip and lay it gently in the grove. When the ends meet, cut on an angle for a clean finish. Press down firmly once you are happy with the result. Close the port window, but make sure you don't push down to hard right away. Adjust your screw thumb pieces accordingly. That's all!